Does it? To use the IOMMU for VFIO, I had to explicitly enable it via a kernel parameter.