[coreboot-gerrit] Patch merged into coreboot/master: bf3fe26 exynos5420: minor correction to CPU frequency print

the following patch was just integrated into master:
commit bf3fe26e1f400fa2f37076e7a25ae552d14787ca
Author: David Hendricks 
Date:   Mon Aug 5 18:53:15 2013 -0700

exynos5420: minor correction to CPU frequency print

This divides the CPU frequency by 1,000,000 instead of 2^20.

serial console shows "CPU:   S5P5420 @ 800MHz" instead of
    claiming 762MHz.

Change-Id: I70cc5b62f689c5553b57c82be61233fb9f733f6e
    Reviewed-on: https://gerrit.chromium.org/gerrit/64743
    Reviewed-by: Gabe Black 
    Reviewed-by: Ronald G. Minnich 
    Commit-Queue: David Hendricks 
    Tested-by: David Hendricks

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

-gerrit