[coreboot-gerrit] New patch to review for coreboot: c9354ae x86: expose tsc's timer_monotonic_get() in SMM