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