nuttx/boards/lm3s6432-s2e/Kconfig