[coreboot-gerrit] Patch merged into coreboot/master: 607c0b6 pit: Create an exynos5420 directory which is nearly a copy of exynos5250.