Fix Thumb-2 inline asm (#15)