[coreboot-gerrit] Change in coreboot[master]: arch/x86: Use TSC_MONOTONIC_TIMER for timestamps

[Aaron Durbin (Code Review)]

Aaron Durbin has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/36529 )

Change subject: arch/x86: Use TSC_MONOTONIC_TIMER for timestamps
......................................................................

Patch Set 4:

(1 comment)

https://review.coreboot.org/c/coreboot/+/36529/4//COMMIT_MSG 
Commit Message:

https://review.coreboot.org/c/coreboot/+/36529/4//COMMIT_MSG@11 
PS4, Line 11: timestamp_freq_tick_mhz() in lib/timestamp.c.
I think you should also indicate that this means TSC is not used for timestamps anymore by default and only microsecond granularity timestamps are provided with out someone taking action.