[PATCH] Fix kexec issues with cpu hotplug