workaround for BUG in intel iommu driver