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