Index: /trunk/src/VBox/VMM/VMMR3/GIMKvm.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/GIMKvm.cpp	(revision 55687)
+++ /trunk/src/VBox/VMM/VMMR3/GIMKvm.cpp	(revision 55688)
@@ -191,4 +191,8 @@
     if (TMR3CpuTickIsFixedRateMonotonic(pVM, true /* fWithParavirtEnabled */))
     {
+        /** @todo We might want to consider just enabling this bit *always*. As far
+         *        as I can see in the Linux guest, the "TSC_STABLE" bit is only
+         *        translated as a "monotonic" bit which even in Async systems we
+         *        -should- be reporting a strictly monotonic TSC to the guest.  */
         PGIMKVM pKvm = &pVM->gim.s.u.Kvm;
         pKvm->uBaseFeat |= GIM_KVM_BASE_FEAT_TSC_STABLE;