gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 89875e96ba3f023157bf50d5f8e33bf254964a76 / board / hmi1001 / config.mk