[PATCH] x86: make CONFIG_HOTPLUG_CPU depend on !X86_PC