defconfig: update to support kexec-hardboot