arch/arm/kernel/smp.c