nuttx/libs/libc/machine/mips/Kconfig