Patch merged into coreboot/master: 3cc0d1e exynos5250: assign RAM resources in cpu_init()

the following patch was just integrated into master:
commit 3cc0d1eb3f611cb7bf0e45d8ccdb0c84f54f54dc
Author: David Hendricks 
Date:   Tue Mar 26 16:28:21 2013 -0700

exynos5250: assign RAM resources in cpu_init()

This moves the ram resource allocation into cpu_init() so that we
    no longer rely on declaring a domain in devicetree.cb (which is kind
    of weird for this platform). This does not cause any actual changes
    to the coreboot memory table, and paves the way for further updates
    to Snow's devicetree.

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

Build-Tested: build bot (Jenkins) at Wed Mar 27 01:15:34 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Wed Mar 27 02:00:51 2013, giving +2
See http://review.coreboot.org/2923 for details.

-gerrit