AMD IOMMU: remove unnecessary cast to u64 in the init code