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