Another attempt to get correct ARM/Thumb/Thumb2 assembly code.
Merge branch 'flint-2.4' into trunk