# CONFIG_KVM_HYPERV is not set
