incubator-nuttx/boards/tricore/tc3xx/tc397/Kconfig