Enable the MUTEX_NOINLINE option for the BOOTMFS kernel for ia32, pc98, and

alpha.  This shaves 36-50k off of the compressed kernel size.

Submitted by:	jhb

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"

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"

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"

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"