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