gerrit.cesnet.cz / github / trini / u-boot / 7c5cd42ab1585585e5494fa503ca1b4110e671dc / . / tools / microcode-tool