Index: /trunk/src/VBox/Devices/Graphics/DevVGA.cpp
===================================================================
--- /trunk/src/VBox/Devices/Graphics/DevVGA.cpp	(revision 56490)
+++ /trunk/src/VBox/Devices/Graphics/DevVGA.cpp	(revision 56491)
@@ -6773,5 +6773,5 @@
                                 N_("Configuration error: Querying \"ShowBootMenu\" as integer failed"));
 
-#if defined(DEBUG) && !defined(DEBUG_sunlover)
+#if defined(DEBUG) && !defined(DEBUG_sunlover) && !defined(DEBUG_michael)
     /* Disable the logo abd menu if all default settings. */
     if (   LogoHdr.fu8FadeIn
@@ -6779,5 +6779,8 @@
         && LogoHdr.u16LogoMillies == 0
         && LogoHdr.fu8ShowBootMenu == 2)
-        LogoHdr.fu8FadeIn = LogoHdr.fu8FadeOut = LogoHdr.fu8ShowBootMenu = 0;
+    {
+        LogoHdr.fu8FadeIn = LogoHdr.fu8FadeOut = 0;
+        LogoHdr.u16LogoMillies = 500;
+    }
 #endif