[coreboot-gerrit] Patch merged into coreboot/master: ab98cfe Revert "exynos5250/snow: deprecate time.h"