Index: /trunk/src/VBox/Main/src-client/ConsoleImpl2.cpp
===================================================================
--- /trunk/src/VBox/Main/src-client/ConsoleImpl2.cpp	(revision 43807)
+++ /trunk/src/VBox/Main/src-client/ConsoleImpl2.cpp	(revision 43808)
@@ -770,4 +770,5 @@
     Bstr osTypeId;
     hrc = pMachine->COMGETTER(OSTypeId)(osTypeId.asOutParam());                             H();
+    LogRel(("OS type: '%s'\n", Utf8Str(osTypeId).c_str()));
 
     BOOL fIOAPIC;
@@ -941,7 +942,7 @@
                 &&  fIOAPIC
                 &&  (   osTypeId == "WindowsNT4"
-                    || osTypeId == "Windows2000"
-                    || osTypeId == "WindowsXP"
-                    || osTypeId == "Windows2003"))
+                     || osTypeId == "Windows2000"
+                     || osTypeId == "WindowsXP"
+                     || osTypeId == "Windows2003"))
             {
                 /* Only allow TPR patching for NT, Win2k, XP and Windows Server 2003. (32 bits mode)