backport: smp: patches from mainline 3.5 to hopefully help with hotplug

Conflicts:
	arch/arm/kernel/smp.c
	kernel/sched/core.c
	kernel/smpboot.c