Symbol: bcm2836_arm_irqchip_smp_init