My WIP patches for NuttX