Kernel Recompilation

Recompiled the kernel tonight (this morning) to get rid of kernel module errors. It should be now possible to boot the 'box and load up all RTD modules with correct (i.e. dedicated) IRQ channels. This came at the expense of the two on-board serial ports, however all functionality should (hopefully) be accomplished by the RTD boards and the USB 2.0 expansion board.