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