iommu/amd: fix type bug in flush code