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