[coreboot] Patch merged into coreboot/master: b7e0535 Exynos5250: Get DDR3 working by changing what is compiled and add a function