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