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