OpenWRT?
Would the OpenWRT toolchain work at all in this scenario? For what little I've used it (so far) it was a very easy setup under Ubuntu 10.04 for building both x86 and ar71xx bits. As I understand it, the Cotrex is an ARMv7 chip. Should work then, no? Or am I missing something basic?
http://wiki.openwrt.org/doc/techref/buildroot