ARM: dts: BCM63xx: Add SMP nodes and required properties