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