u-boot/board/inteno/xg6846/Kconfig