gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 195629cd5350419a04e8ac5d206c58714f9b4385 / . / tools / microcode-tool