nuttx/boards/arm/tiva/lm3s6432-s2e/Kconfig