[coreboot-gerrit] Patch set updated for coreboot: af94d5a Revert "exynos5250/snow: deprecate time.h"