iommu/amd: Work around wrong IOAPIC device-id in IVRS table