gerrit.cesnet.cz / github / trini / u-boot / 8e7a96364bc29073e5246d331a11ce8602d5d6a3 / board / intel / galileo