[coreboot-gerrit] New patch to review for coreboot: 8a3edbc Exynos5250: Use new chip settings for the cpu