[PATCH 25/38] iommu/amd: Set DTE[IntTabLen] to represent 512 IRTEs