gerrit.cesnet.cz / github / trini / u-boot / 6dc5b6b1ff030a811d1747c19009d9f3b0908099 / arch / arm / mach-s5pc1xx