gerrit.cesnet.cz / github / trini / u-boot / 8f11e34b31a7be124a3239653f33af9510502045 / board / cmi / config.mk