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