gerrit.cesnet.cz / github / trini / u-boot / 14da5f7675bbb427c469e3f45006e027b6e21db9 / board / cmi / config.mk