Fix for kexec