4 files changed, 8 insertions, 0 deletions

diff --git a/release/alpha/dokern.sh b/release/alpha/dokern.sh
index 4ca7263e95c0a..e902cfc5a3e93 100755
--- a/release/alpha/dokern.sh
+++ b/release/alpha/dokern.sh
@@ -62,5 +62,7 @@ sed	\
 #	XXX: blank line above intentional so lines may be added below the last
 #	entry with ease.
 
+echo "options  MUTEX_NOINLINE"
+
 echo "options  SCSI_NO_OP_STRINGS" 
 echo "options  SCSI_NO_SENSE_STRINGS"
diff --git a/release/amd64/dokern.sh b/release/amd64/dokern.sh
index 0648c9660bee4..42c5ad43a6dcf 100755
--- a/release/amd64/dokern.sh
+++ b/release/amd64/dokern.sh
@@ -40,6 +40,8 @@ sed	\
 	-e '/	uscanner	/d' \
 	-e 's/ident.*GENERIC/ident		BOOTMFS/g'
 
+echo "options  MUTEX_NOINLINE"
+
 echo "options  NETGRAPH"
 echo "options  NETGRAPH_ETHER"
 echo "options  NETGRAPH_PPPOE"
diff --git a/release/i386/dokern.sh b/release/i386/dokern.sh
index 0648c9660bee4..42c5ad43a6dcf 100755
--- a/release/i386/dokern.sh
+++ b/release/i386/dokern.sh
@@ -40,6 +40,8 @@ sed	\
 	-e '/	uscanner	/d' \
 	-e 's/ident.*GENERIC/ident		BOOTMFS/g'
 
+echo "options  MUTEX_NOINLINE"
+
 echo "options  NETGRAPH"
 echo "options  NETGRAPH_ETHER"
 echo "options  NETGRAPH_PPPOE"
diff --git a/release/pc98/dokern.sh b/release/pc98/dokern.sh
index 445783c17bf25..0a042da79984e 100755
--- a/release/pc98/dokern.sh
+++ b/release/pc98/dokern.sh
@@ -114,6 +114,8 @@ sed	-e 's/ident.*GENERIC/ident		BOOTMFS/g' \
 
 fi
 
+echo "options  MUTEX_NOINLINE"
+
 echo "options  NETGRAPH"
 echo "options  NETGRAPH_ETHER"
 echo "options  NETGRAPH_PPPOE"