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