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