[coreboot-gerrit] New patch to review for coreboot: 9941308 Revert "exynos5250/snow: deprecate time.h"