intel-iommu: Fix 32-bit build warning with __cmpxchg()