[PATCH 5.8 114/186] iommu/amd: Use cmpxchg_double() when updating 128-bit IRTE