nuttx-apps/platform/stm32f4discovery/Kconfig