[coreboot-gerrit] Patch set updated for coreboot: 25bada6 timestamps intel: Move timestamp scratchpad to chipset