Patch merged into coreboot/master: b48605d Exynos5250: Use new chip settings for the cpu

the following patch was just integrated into master:
commit b48605da209ed92832fdc1f067feda63b5421e7e
Author: Ronald G. Minnich 
Date:   Tue Apr 9 14:35:35 2013 -0700

Exynos5250: Use new chip settings for the cpu

Properly use the chip settings when configuring the CPU,
    at this point being purely graphics.

Change-Id: I9bc2d32c1037653837937b314e4041abc0024835
    Signed-off-by: Ronald G. Minnich 
    Reviewed-on: http://review.coreboot.org/3054
    Tested-by: build bot (Jenkins)
    Reviewed-by: David Hendricks

Build-Tested: build bot (Jenkins) at Wed Apr 10 19:46:32 2013, giving +1
Reviewed-By: David Hendricks  at Wed Apr 10 20:47:28 2013, giving +2
Reviewed-By: Ronald G. Minnich  at Thu Apr 11 00:11:51 2013, giving +2
See http://review.coreboot.org/3054 for details.

-gerrit