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

Conflicts:
	arch/arm/kernel/smp.c
	kernel/cpu.c