defconfig: kexec-hardboot