followup: also 16 and 8 bit cmpxchg