Index: /trunk/src/VBox/Devices/PC/DevACPI.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevACPI.cpp	(revision 68258)
+++ /trunk/src/VBox/Devices/PC/DevACPI.cpp	(revision 68259)
@@ -1762,4 +1762,5 @@
     Log(("acpi: acpiPMTmrRead -> %#x\n", *pu32));
 
+#if 0
     /** @todo temporary: sanity check against running backwards */
     uint32_t uOld = ASMAtomicXchgU32(&pThis->uPmTimeOld, *pu32);
@@ -1774,4 +1775,5 @@
 #endif
     }
+#endif
 
     NOREF(pvUser); NOREF(Port);