gerrit.cesnet.cz / github / trini / u-boot / 5dc8f69df37c9e720ec78daac6fd606bcb6585b3 / doc / board / coreboot