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