[coreboot-gerrit] New patch to review for coreboot: 52beddd Makefile.inc: fix build timestamp logic for clean builds