fixed a bug in the nuttx-configs