[coreboot] New patch to review for coreboot: 44c7efa Exynos5250: Get DDR3 working by changing what is compiled and add a function