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