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