Nuttx merge 0f2decb

Let's try another NuttX merge, this time pull up to NuttX 6.24.

Still seems to have some fundamental breakage related to incremental rebuilding, but it builds and runs on both FMU and IO.