incubator-nuttx/configs/lm3s6432-s2e/Kconfig