[PATCH v2 0/4] Support for specifying extra IOMMU mappings for PCI