[coreboot-gerrit] Patch set updated for coreboot: 55b7c47 Exynos5250: Use new chip settings for the cpu