Add NuttX as submodule