Index: /trunk/src/recompiler/target-i386/op_helper.c
===================================================================
--- /trunk/src/recompiler/target-i386/op_helper.c	(revision 58556)
+++ /trunk/src/recompiler/target-i386/op_helper.c	(revision 58557)
@@ -4095,5 +4095,5 @@
 
 # ifdef VBOX_STRICT
-    if ((uint32_t)ECX != MSR_IA32_TSC) {
+    if ((uint32_t)ECX != MSR_IA32_TSC && (uint32_t)ECX != MSR_EFER) {
         if (cpu_rdmsr(env, (uint32_t)ECX, &val) != 0)
             val = 0;