Greetings: After having read the README and some code, I was wondering if there is a way to switch, at runtime (rather than at compile time) from UART0 to UART1. The board is the ocotea, ppc440gx, u-boot 1.1.2, build tools from ELDK3 TIA, Travis