uboot/board/synopsys/Kconfig