Fix ARM.3, source register was 0-7 not 0-14
Add ARM.12 to the ARM7TDMI interpreter