Index: /trunk/src/VBox/Main/src-client/ConsoleImpl2.cpp
===================================================================
--- /trunk/src/VBox/Main/src-client/ConsoleImpl2.cpp	(revision 42799)
+++ /trunk/src/VBox/Main/src-client/ConsoleImpl2.cpp	(revision 42800)
@@ -968,4 +968,7 @@
         hrc = pMachine->GetCPUProperty(CPUPropertyType_Synthetic, &fSyntheticCpu);          H();
         InsertConfigInteger(pCPUM, "SyntheticCpu", fSyntheticCpu);
+
+        if (fOsXGuest)
+            InsertConfigInteger(pCPUM, "EnableHVP", 1);
 
         BOOL fPXEDebug;
@@ -3250,5 +3253,5 @@
             }
         }
-        
+
         if (   pMedium
             && (   lType == DeviceType_DVD