Symbol: BCM2836_ARM_SMP_SIZE