nuttx/configs/mcu123-lpc214x/Kconfig