This is incorrect. bx r15/bx pc is an explicitly permitted instruction in ARMv4T: its effect is to switch into ARM mode for the following instruction; it would be a nop if the CPU was already in ARM mode. See page A4-20 of the 2005 ARM architecture reference manual, where it explains that the...