Updating NuttX revision in use