incubator-nuttx/boards/arm/kinetis/kwikstik-k40/Kconfig