x86_64 cmpxchg behavior in qemu tcg does not match the real CPU