[coreboot] Patch merged into coreboot/master: 858b650 cleanup some exynos5250 uart code

the following patch was just integrated into master:
commit 858b65028e02d4e2460a9f6033aec570006b9d0b
Author: David Hendricks 
Date:   Mon Dec 31 17:56:22 2012 -0800

cleanup some exynos5250 uart code

This just cleans out some unused headers and tidies up the early
    serial code.

TODO: Clean-up or replace FDT code, make "base_port" easier to
    configure.

A bit of cleanup based on earlier patches.

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

Build-Tested: build bot (Jenkins) at Fri Jan  4 01:43:41 2013, giving +1
Reviewed-By: David Hendricks  at Fri Jan  4 01:38:27 2013, giving +2
Reviewed-By: Ronald G. Minnich  at Fri Jan  4 01:45:26 2013, giving +2
See http://review.coreboot.org/2084 for details.

-gerrit