[coreboot-gerrit] Patch set updated for coreboot: 12d41b2 Makefile.inc: don't use git for version timestamp