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