Fix Thumb2 encodings of STREX and LDREX.