Index: /trunk/src/VBox/VMM/VMMR3/TM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/TM.cpp	(revision 68105)
+++ /trunk/src/VBox/VMM/VMMR3/TM.cpp	(revision 68106)
@@ -1179,5 +1179,7 @@
 
     /*
-     * Reset TSC to avoid a windows 8 bug (see @bugref{8926}).
+     * Reset TSC to avoid a Windows 8+ bug (see @bugref{8926}). If Windows
+     * sees TSC value beyond 0x40000000000 at startup, it will reset the
+     * TSC on boot-up CPU only, causing confusion and mayhem with SMP.
      */
     VM_ASSERT_EMT0(pVM);