gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / c53711bb6289a5ac2d909dfe626e6a3cb9b23bfe / tools / genboardscfg.py