[brcm63xx] Switch to SMP CPU hotplugging.