gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 858a508f494c024288a7a62f70a1a87814f68189 / . / tools / microcode-tool