Implement kexec hardboot