gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 779b534385adf0a1efdd8b40dbacae11598575b8 / board / sheldon / simpc8313 / config.mk