Patch merged into coreboot/master: 801467f enable early serial console on exynos5250

the following patch was just integrated into master:
commit 801467f30ad08a69fa4a1ce84b5aeddabecd1185
Author: David Hendricks 
Date:   Mon Dec 31 17:55:29 2012 -0800

enable early serial console on exynos5250

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

Build-Tested: build bot (Jenkins) at Thu Jan  3 20:08:02 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Fri Jan  4 01:36:48 2013, giving +2
See http://review.coreboot.org/2085 for details.

-gerrit