Francisco is right, onlining all cores is a nice workaround for the real problem.
Onlining all cores using the driver's framework.
Some whitespace cleanup.

Conflicts:
	arch/arm/kernel/auto_hotplug.c