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