Implement kexec-hardboot #2