[coreboot-gerrit] Patch set updated for coreboot: d7565bd timestamps: Switch from tsc_t to uint64_t