[coreboot-gerrit] Patch set updated for coreboot: 54494f0 pit: Get rid of the mostly unnecessary exynos5420.h