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