u-boot/board/Marvell/gplugd/Kconfig