[RFC][PATCH] Fix cpu hotplug hang

[Sebastien Dugue]

  Hi Thomas, Ingo,

  here is a patch that fixes a CPU hotplug hang I get on a Power6 box. It may
not be the only possible fix but it appears to be the cleanest I can think of
at the moment.

  Comments welcomed.

  Thanks,

  Sebastien.