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