[coreboot-gerrit] Patch merged into coreboot/master: 72a4288 exynos5420: ddr3: Switch from 4G setup to 2G setup on exynos5420