kexec-hardboot patching