ci: Build Nuttx port

[wpiet]

Adds a step to the CI workflow for checking the build of Nuttx master branch.