u-boot/board/amcc/redwood/Kconfig