nuttx/boards/arm/tiva/eagle100/Kconfig