[PATCH kernel-4.19 151/280] vfio: Use config not menuconfig for VFIO_NOIOMMU