gerrit.cesnet.cz / github / trini / u-boot / 4f051824b5c2a6bf8d3114c772676977fb95969a / . / tools / microcode-tool