If it's a 2005 model IFI RC, have a look at Kevin Watson's
2005 page. (Newer versions of the code aren't necessarily going to work on older hardware, though I don't know if there are specific issues with serial ports.) It has "a fully buffered, full-duplex, interrupt-driven serial port driver that can be used with either or both on-board serial ports".