x86/amd-iommu: Make iommu_flush_pages aware of multiple IOMMUs