locking/atomic: Correct (cmp)xchg() instrumentation