Allow KEXEC in HSK defconfig