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