[coreboot-gerrit] Patch merged into coreboot/master: b558902 util/genbuild_h: work around GNU date