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