Add NuttX support to OpenOCD