ARM: fix ldrexd/strexd