intel-iommu: Use cmpxchg64_local() for setting PTEs