gerrit.cesnet.cz / github / trini / u-boot / 9fb3b5085787baad8a133e347ad12c5b3a022e98 / board / Marvell / guruplug / config.mk