[coreboot-gerrit] Patch set updated for coreboot: 1a1b1cb exynos5420: ddr3: Switch from 4G setup to 2G setup on exynos5420