[coreboot-gerrit] Patch merged into coreboot/master: fd8291c lapic: monotonic time implementation