[coreboot-gerrit] Patch set updated for coreboot: dff3c1c intel: Make monotonic timer a first class citizen