Index: head/sys/amd64/vmm/x86.c
===================================================================
--- head/sys/amd64/vmm/x86.c
+++ head/sys/amd64/vmm/x86.c
@@ -432,6 +432,7 @@
 				    CPUID_STDEXT_AVX2 | CPUID_STDEXT_BMI2 |
 				    CPUID_STDEXT_ERMS | CPUID_STDEXT_RTM |
 				    CPUID_STDEXT_AVX512F |
+				    CPUID_STDEXT_RDSEED |
 				    CPUID_STDEXT_AVX512PF |
 				    CPUID_STDEXT_AVX512ER |
 				    CPUID_STDEXT_AVX512CD | CPUID_STDEXT_SHA);