[RFC][PATCH] Fix cpu hotplug hang

From: Sebastien Dugue
Date: Mon Dec 01 2008 - 08:09:25 EST

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.