gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 37dadbca0c8b9bff00f892fd87a978cbe0a98b3a / arch / arm / mach-s5pc1xx