uboot/board/amcc/ocotea/Kconfig