x86/amd-iommu: Introduce iommu_flush_device() function