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