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