Minor updates in nuttx-configs