bcm63xx: make smp kernels boot on older SoCs