IOMMU is still kind of broken