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