lol, yo no decía que hubieras mentido, solo que quizá te habías equivocado en algo.
De todos modos, mea culpa. Al convertir ese hex a un binario lo he hecho mal. Ahora sí:
0: b503 push {r0, r1, lr}
2: 4804 ldr r0, [pc, #16] ; (0x14)
4: 8800 ldrh r0, [r0, #0]
6: 4905...