Update to official NuttX 7.4
Changes to adapt to NuttX 7.4