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