x86, 64-bit: add sync_cmpxchg