nuttx/configs/lpc4088-quickstart/Kconfig