[PATCH 5.4 43/43] iommu/amd: Use cmpxchg_double() when updating 128-bit IRTE