Index: /trunk/src/VBox/Frontends/VirtualBox/src/settings/UISettingsDialogSpecific.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VirtualBox/src/settings/UISettingsDialogSpecific.cpp	(revision 75971)
+++ /trunk/src/VBox/Frontends/VirtualBox/src/settings/UISettingsDialogSpecific.cpp	(revision 75972)
@@ -464,27 +464,4 @@
             pGeneralPage->is64BitOSTypeSelected() && !pSystemPage->isHWVirtExEnabled())
             m_machine.SetHWVirtExProperty(KHWVirtExPropertyType_Enabled, true);
-
-        /* System page fixes: */
-        if (pSystemPage)
-        {
-            /* Nested Paging || Nested HW Virt Ex: */
-            if (   pSystemPage->isNestedPagingEnabled()
-                || pSystemPage->isNestedHWVirtExEnabled())
-            {
-                /* Enable HW Virt Ex if supported: */
-                if (   pSystemPage->isHWVirtExSupported()
-                    && !pSystemPage->isHWVirtExEnabled())
-                    m_machine.SetHWVirtExProperty(KHWVirtExPropertyType_Enabled, true);
-            }
-
-            /* Nested HW Virt Ex: */
-            if (pSystemPage->isNestedHWVirtExEnabled())
-            {
-                /* Enable Nested Paging if supported: */
-                if (   pSystemPage->isHWVirtExSupported()
-                    && !pSystemPage->isNestedPagingEnabled())
-                    m_machine.SetHWVirtExProperty(KHWVirtExPropertyType_NestedPaging, true);
-            }
-        }
 
 #ifdef VBOX_WITH_VIDEOHWACCEL
Index: /trunk/src/VBox/Frontends/VirtualBox/src/settings/machine/UIMachineSettingsSystem.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VirtualBox/src/settings/machine/UIMachineSettingsSystem.cpp	(revision 75971)
+++ /trunk/src/VBox/Frontends/VirtualBox/src/settings/machine/UIMachineSettingsSystem.cpp	(revision 75972)
@@ -404,6 +404,16 @@
     /* Gather 'Acceleration' data: */
     newSystemData.m_paravirtProvider = (KParavirtProvider)m_pComboParavirtProvider->itemData(m_pComboParavirtProvider->currentIndex()).toInt();
-    newSystemData.m_fEnabledHwVirtEx = isHWVirtExEnabled() || m_pSliderCPUCount->value() > 1;
-    newSystemData.m_fEnabledNestedPaging = isNestedPagingEnabled();
+    /* Enable HW Virt Ex automatically if it's supported and
+     * 1. multiple CPUs, 2. Nested Paging or 3. Nested HW Virt Ex is requested. */
+    newSystemData.m_fEnabledHwVirtEx =    isHWVirtExEnabled()
+                                       || (   isHWVirtExSupported()
+                                           && (   m_pSliderCPUCount->value() > 1
+                                               || isNestedPagingEnabled()
+                                               || isNestedHWVirtExEnabled()));
+    /* Enable Nested Paging automatically if it's supported and
+     * Nested HW Virt Ex is requested. */
+    newSystemData.m_fEnabledNestedPaging =    isNestedPagingEnabled()
+                                           || (   isNestedPagingSupported()
+                                               && isNestedHWVirtExEnabled());
 
     /* Cache new system data: */