My fixes to kexec-tools