[coreboot-gerrit] Patch set updated for coreboot: 406c0e3 util/genbuild_h: work around GNU date