nuttx/boards/arm/tiva/ekk-lm3s9b96/Kconfig