Index: sys/arch/x86/x86/fpu.c
===================================================================
RCS file: /cvsroot/src/sys/arch/x86/x86/fpu.c,v
retrieving revision 1.48
diff -u -r1.48 fpu.c
--- sys/arch/x86/x86/fpu.c	5 Oct 2018 18:51:52 -0000	1.48
+++ sys/arch/x86/x86/fpu.c	24 Nov 2018 23:03:08 -0000
@@ -454,8 +454,11 @@
 	int s;
 
 	if (!USERMODE(frame->tf_cs)) {
-		panic("fpudna from kernel, ip %p, trapframe %p\n",
-		    (void *)X86_TF_RIP(frame), frame);
+		/* Work around some virtualization machines. */
+		clts();
+		return;
+//		panic("fpudna from kernel, ip %p, trapframe %p\n",
+//		    (void *)X86_TF_RIP(frame), frame);
 	}
 
 	s = splhigh();