Assume the undocumented CMPXCHG486 opcode was lockable