gerrit.cesnet.cz / github / trini / u-boot / 1f2a9970109cebf7446e0503b10b71f8673045ee / board / cmi / config.mk