Fixes asm generation of strexb and strexh

Force the generation of an strex[bh] that use different registers
as stated in the ARM ref