[coreboot-gerrit] Patch merged into coreboot/master: bbc984f pit: Get rid of the mostly unnecessary exynos5420.h