Index: sys/arch/x86/x86/cpu.c
===================================================================
RCS file: /cvsroot/src/sys/arch/x86/x86/cpu.c,v
retrieving revision 1.161
diff -u -r1.161 cpu.c
--- sys/arch/x86/x86/cpu.c	3 Sep 2018 16:29:29 -0000	1.161
+++ sys/arch/x86/x86/cpu.c	26 Nov 2018 17:52:59 -0000
@@ -608,6 +608,15 @@
 	}
 
 	/* If xsave is supported, enable it */
+	if (cpu_feature[1] & CPUID2_VMX) {
+		printf("cpu_feature[1] & CPUID2_VMX detected!\n");
+		cr4 |= CR4_VMXE;
+	} else {
+		printf("cpu_feature[1] & CPUID2_VMX not detected!\n");
+		cr4 |= CR4_VMXE;
+	}
+
+	/* If xsave is supported, enable it */
 	if (cpu_feature[1] & CPUID2_XSAVE)
 		cr4 |= CR4_OSXSAVE;