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