[coreboot-gerrit] Patch set updated for coreboot: marvel/bg4cd: move timestamp init to SoC code