Fix decoding for ARM.10 and ARM.12