[coreboot-gerrit] New patch to review for coreboot: 8b528f7 pit: Create an exynos5420 directory which is nearly a copy of exynos5250.