# CONFIG_HYPERV_NET is not set
