Fix kexec-hardboot errors