Fabio Erculiani Mon, 11 Jun 2012 01:28:08 -0700
I don't think we can disable CONFIG_HOTPLUG_CPU, See my comment at bug 3391.
-- Fabio Erculiani