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