diff --git a/sys/amd64/conf/XENHVM b/sys/amd64/conf/XENHVM
index e5fc0496f92a..ee745ec19443 100644
--- a/sys/amd64/conf/XENHVM
+++ b/sys/amd64/conf/XENHVM
@@ -1,24 +1,22 @@
 #
 # XENHVM -- Xen HVM kernel configuration file for FreeBSD/amd64
 #
 # $FreeBSD$
 #
 include		GENERIC
 ident		XENHVM
 
-makeoptions	MODULES_OVERRIDE=""
-
 #
 # Adaptive locks rely on a lock-free pointer read to determine the run state
 # of the thread holding a lock when under contention; under a virtualisation
 # system, the thread run state may not accurately reflect whether the thread
 # (or rather its host VCPU) is actually executing.  As such, disable this
 # optimisation.
 #
 options 	NO_ADAPTIVE_MUTEXES
 options 	NO_ADAPTIVE_RWLOCKS
 options 	NO_ADAPTIVE_SX
 
 # Xen HVM support
 options 	XENHVM
 device		xenpci
diff --git a/sys/i386/conf/XENHVM b/sys/i386/conf/XENHVM
index 672716bfa14d..9e1b52ef407e 100644
--- a/sys/i386/conf/XENHVM
+++ b/sys/i386/conf/XENHVM
@@ -1,24 +1,22 @@
 #
 # XENHVM -- Xen HVM kernel configuration file for FreeBSD/i386
 #
 # $FreeBSD$
 #
 include		GENERIC
 ident		XENHVM
 
-makeoptions	MODULES_OVERRIDE=""
-
 #
 # Adaptive locks rely on a lock-free pointer read to determine the run state
 # of the thread holding a lock when under contention; under a virtualisation
 # system, the thread run state may not accurately reflect whether the thread
 # (or rather its host VCPU) is actually executing.  As such, disable this
 # optimisation.
 #
 options 	NO_ADAPTIVE_MUTEXES
 options 	NO_ADAPTIVE_RWLOCKS
 options 	NO_ADAPTIVE_SX
 
 # Xen HVM support
 options 	XENHVM
 device		xenpci