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