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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 801467f30ad08a69fa4a1ce84b5aeddabecd1185
Author: David Hendricks <dhendrix at chromium.org>
Date:   Mon Dec 31 17:55:29 2012 -0800

    enable early serial console on exynos5250
    
    Change-Id: Ib16308c72b86860e80caec96202c42991a7b1d1a
    Signed-off-by: David Hendricks <dhendrix at chromium.org>
    Reviewed-on: http://review.coreboot.org/2085
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich <rminnich at gmail.com>

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

-gerrit