Defconfig: fix to Kexec option