Use my kernel

Use kernel with kexec-hardboot enabled.