arch/arm/kernel/smp.c: fix derp