arch/arm/kernel/smp.c: revert JB Update 1/3