[PATCH] enable X86_PC for HOTPLUG_CPU