nuttx/configs/ea3131/Kconfig