controller board. * configure.in: Recognize "mips*-*-ecoff*" rather than "mips*-idt-ecoff*" so it'll work for the LSI33k.