# CONFIG_VFIO is not set
