Nuttx working

Basic Nuttx running, setting USART2 to Pi, no LEDs, no Switches, no
terminal.