True, it would be incredibly easy for ARM to fund a few Debian developers. But for some reason, they don't.
Well they funded me indirectly for 2006 to promote the Debian ARM EABI port, which I did, I seem to remember. They have a "small budget" for FOSS work; I have advised them to put it into towards buildd/repository hardware, bandwidth and maintenance os the same for the armel port. M