gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / be1d5e0388d2e506d875d4b984485526bdf3197f / arch / arm / mach-s5pc1xx