u-boot-brain/board/amcc/ocotea/Kconfig