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