Add kexec-hardboot