Patch merged into coreboot/master: 0682cfe armv7/exynos5420: Configure CPU cores for kernel to enable SMP.

the following patch was just integrated into master:
commit 0682cfefdb888807bef6ee7f3bb81615282e0390
Author: Hung-Te Lin 
Date:   Tue Aug 6 20:37:55 2013 +0800

armv7/exynos5420: Configure CPU cores for kernel to enable SMP.

The SMP on Exynos 5420 requires setting a special page and entry wrappers in
    firmware side (SRAM) so kernel can start cores (and to switch clusters).

Change-Id: I77ca98bb6cff5b13e95dd29228e4536302f0aee9
    Signed-off-by: Hung-Te Lin 
    Reviewed-on: https://gerrit.chromium.org/gerrit/64770
    Reviewed-by: Ronald G. Minnich 
    (cherry picked from commit 4a11c7ab78cc0811df0f88763b0af8b9f24e5433)
    Signed-off-by: Isaac Christensen 
    Reviewed-on: http://review.coreboot.org/6405
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Edward O'Callaghan

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

-gerrit