Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 43730)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 43731)
@@ -2465,10 +2465,10 @@
                 CPUMSetGuestMsr(pVCpu, MSR_K8_TSC_AUX, pMsr->u64Value);
                 break;
-#if 0
+
             case MSR_K6_EFER:
                 /* EFER can't be changed without causing a VM-exit. */
                 /* Assert(pCtx->msrEFER == pMsr->u64Value); */
                 break;
-#endif
+
             default:
                 AssertFailed();