[PATCH 5.13 082/380] vfio: Use config not menuconfig for VFIO_NOIOMMU