[coreboot-gerrit] Patch merged into coreboot/master: 8abb3f6 exynos5420: update set_cpu_id()

the following patch was just integrated into master:
commit 8abb3f6179ec2c9172ba02ebad3afaffdcac2313
Author: David Hendricks 
Date:   Thu Aug 1 18:17:55 2013 -0700

exynos5420: update set_cpu_id()

The current function seems to be outdated...

Signed-off-by: David Hendricks

built and booted. Now we see "CPU:   S5P5420 @ 762MHz"
    instead of "CPU:   S5PC420 @ 762MHz"

Change-Id: Ieb103a5fa62bda9a6b2cbd9a82fb4f72c5dd6466
    Reviewed-on: https://gerrit.chromium.org/gerrit/64302
    Commit-Queue: David Hendricks 
    Reviewed-by: David Hendricks 
    Tested-by: David Hendricks

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

-gerrit