[coreboot-gerrit] Patch set updated for coreboot: 933377c samsung/exynos5250: unify code