[PATCH -v10 00/11] Shutdown from reboot_cpuid without stopping other cpus.

[Russell King - ARM Linux]

On Sat, May 11, 2013 at 06:57:16AM -0500, Robin Holt wrote:
> We recently noticed that reboot of a 1024 cpu machine takes approx 16
> minutes of just stopping the cpus.  The slowdown was tracked to commit
> f96972f.
...
> Cc: Russell King <linux at arm.linux.org.uk>

Looks good now.  Acks supplied for relevant patches to ARM.  For the
remainder which will still have a Cc: line like the above, please
change it to use rmk+kernel at arm.linux.org.uk

Thanks.