iommu/amd: Update Alias-DTE in update_device_table()