iommu/amd: Convert dev_table_entry to u64