[coreboot-gerrit] Patch set updated for coreboot: 51e4382 Exynos5420: add code to make sure resume will work on DRAM.