[coreboot-gerrit] Patch set updated for coreboot: 27b0005 exynos5250/snow: deprecate time.h