Comment 8 for bug 513732

Talking to a Debian guy about the armel port, it sounds like armel is not expected to run on anything prior to ARMv4T.

So maybe the complexity in my above post isn't needed. However, Debian are pretty unlikely to use Thumb at all until/unless they move to ARMv5 or newer (since adding interworking support introduces some inefficiencies on ARMv4T). So it may still be best to avoid affecting any code generation on Debian for now in armel.