defconfig: fix issue with kexec hardboot