reapply kexec hardboot patch