Implement kexec-hardboot