want workaround for Intel erratum BT81
Intel erratum BT81, as follows:
TSC is Not Affected by Warm Reset
The TSC (Time Stamp Counter MSR 10H) should be cleared on reset. Due to this erratum the TSC is not affected by warm reset.
The TSC is not cleared by a warm reset. The TSC is cleared by power-on reset as expected. Intel has not observed any functional failures due to this erratum.
While gethrtime() is documented only to return the time since some arbitrary epoch, it would be nice if that epoch matched boot (like other x86 machines) instead of power-on (as it does given this erratum). While Intel documents no workaround, it seems like this should be as simple as clearing TSC on each CPU when it boots. Since not all CPUs boot at the same time, this may cause skew, but that can (and does) happen anyway, and existing code already handles it correctly.