[PATCH] fix build on x86_64 with !CONFIG_HOTPLUG_CPU