[coreboot-gerrit] Patch merged into coreboot/master: b98dec0 samsung/exynos5250: unify code