[coreboot-gerrit] New patch to review for coreboot: a1a99ed timestamps: Switch from tsc_t to uint64_t