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