# CONFIG_HYPERV_UTILS is not set
