How can I reserve specific UARTs for DSP use so that Linux does not perform any configuration operations on these peripherals at startup. The UART I choose would not necessarily be uart2. So for example, I may want to reserve uart1 for DSP, but leave uart0 and uart2 for Linux use.