kexec code fixes