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