# CONFIG_VFIO_PLATFORM is not set
