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