x86, vmi: TSC going backwards check in vmi clocksource