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 <redacted>

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.