gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 702e29d9e00dcef46b90b26a6d04771b4cec686e / include / configs / mk808.h