Fix operand in cmpxchg inline assembly template