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