Fixing the correct .config path during the setconfig process. changed ${NUTTX_DIR} -> ${CMAKE_BINARY_DIR} see https://github.com/apache/nuttx/pull/13175#issuecomment-2320360957