x86, AMD IOMMU: fix device table entry size