Finished patching kernel with kexec-hardboot