Actually enable kexec-hardboot