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