[coreboot] Patch merged into coreboot/master: 27094b0 exynos5250: un-comment a lot of code which was left out earlier