x86/hyperv: Fix the build in the !CONFIG_KEXEC_CORE case