fix up kexec harboot in defconfig