gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / d7b1970015e62d37b26bb6b94b64ae36728c63cc / board / samsung / smdkc100 / mem_setup.S