DEFCONFIG: enabled kexec-hardboot