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