instead of 128-bit cmpxchg16.  minor speedup, even though the profiler said
that cmpxchg16 was the top offender.