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