u-boot/board/amcc/ebony/Kconfig