Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 66051)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 66052)
@@ -6032,5 +6032,14 @@
     if (!HMVMXCPU_GST_IS_UPDATED(pVCpu, HMVMX_UPDATED_GUEST_CR0))
     {
+#ifndef DEBUG_bird /** @todo this triggers running bs3-cpu-generated-1.img with --debug-command-line
+                    * and 'dbgc-init' containing:
+                    *     sxe "xcpt_de"
+                    *     sxe "xcpt_bp"
+                    *     sxi "xcpt_gp"
+                    *     sxi "xcpt_ss"
+                    *     sxi "xcpt_np"
+                    */
         Assert(!HMCPU_CF_IS_PENDING(pVCpu, HM_CHANGED_GUEST_CR0));
+#endif
         uint32_t uVal    = 0;
         uint32_t uShadow = 0;