gerrit.cesnet.cz / github / trini / u-boot / 02e78e73981687498bc4e1b8151971c07d5a747f / board / cmi / config.mk