intel-iommu: Fix integer wrap on 32 bit kernels