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