[coreboot-gerrit] Patch set updated for coreboot: 4ee373c pit: Fix some settings for the exynos5420 CPU.