bcm53xx: use Broadcom's proposed SMP implementation