Re: [PATCH] config, x86 enable boot cpu hotplug