[coreboot-gerrit] Patch merged into coreboot/master: 08dc357 ARMv7: De-uboot-ify Exynos5250 code

the following patch was just integrated into master:
commit 08dc3571463d7226068d4a4c19d453859b148957
Author: Stefan Reinauer 
Date:   Tue May 14 16:57:50 2013 -0700

ARMv7: De-uboot-ify Exynos5250 code

When starting the Exynos5250 port, a lot of unneeded u-boot code
    was imported. This is an attempt to get rid of a lot of unneeded
    code before the port is used as a basis for further ARM ports.

There is a lot more that can be done, including cleaning up the
    5250's Kconfig file.

Change-Id: I2d88676c436eea4b21bcb62f40018af9fabb3016
    Signed-off-by: Stefan Reinauer 
    Signed-off-by: Gabe Black 
    Reviewed-on: http://review.coreboot.org/3642
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

See http://review.coreboot.org/3642 for details.

-gerrit