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