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