x86: fix cpu hotplug crash