Re: [PATCH] Fix kexec issues with cpu hotplug