uboot/board/Marvell/sheevaplug/Kconfig