# CONFIG_INTEL_MEI_VIRTIO is not set