gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 70002cec5f1c43c4a57c802b5149a1f320c5eaac / include / configs / mk808.h