u-boot/board/avionic-design/tec-ng/Kconfig