[coreboot-gerrit] Patch set updated for coreboot: 5c4c982 pit: Create an exynos5420 directory which is nearly a copy of exynos5250.