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