Patch merged into coreboot/master: f2c4241 exynos5420: Fix mmc clock source.

the following patch was just integrated into master:
commit f2c4241b810665bbeb5f9e2f8c00cb2d0d4e6622
Author: Hung-Te Lin 
Date:   Thu Aug 22 23:56:35 2013 +0800

exynos5420: Fix mmc clock source.

The DWMMC controller internally divided clock by values in CLKSEL registers,
    so we must adjust MMC clock for that.

Change-Id: I44f55b634cfc6fd81d76631595b6928c862a219f
    Signed-off-by: Hung-Te Lin 
    Reviewed-on: https://gerrit.chromium.org/gerrit/66657
    Commit-Queue: Ronald G. Minnich 
    Reviewed-by: Ronald G. Minnich 
    Tested-by: Ronald G. Minnich 
    Reviewed-by: David Hendricks 
    (cherry picked from commit 89ed6c9154f16c6b8d01af03c0b78914773eb469)
    Signed-off-by: Isaac Christensen 
    Reviewed-on: http://review.coreboot.org/6504
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich 
    Reviewed-by: Edward O'Callaghan

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

-gerrit