u-boot/board/Marvell/octeon_ebb7304/Kconfig