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