I don't think we can disable CONFIG_HOTPLUG_CPU, See my comment at bug 3391.

-- 
Fabio Erculiani

Reply via email to