defconfig: update for KEXEC_HARDBOOT