# CONFIG_HYPERV_BALLOON is not set
