diff --git a/sys/conf/NOTES b/sys/conf/NOTES
index 168ff1fa16a5..433ae2325450 100644
--- a/sys/conf/NOTES
+++ b/sys/conf/NOTES
@@ -2,7 +2,7 @@
 # LINT -- config file for checking all the sources, tries to pull in
 #	as much of the source tree as it can.
 #
-#	$Id: LINT,v 1.277 1996/09/10 21:38:45 bde Exp $
+#	$Id: LINT,v 1.278 1996/09/11 19:53:29 phk Exp $
 #
 # NB: You probably don't want to try running a kernel built from this
 # file.  Instead, you should start from GENERIC, and add options from
@@ -961,3 +961,4 @@ options		"IBCS2"
 options		COMPAT_LINUX
 options		"SCSI_2_DEF"
 options		SHOW_BUSYBUFS	# List buffers that prevent root unmount
+options		SPX_HACK
diff --git a/sys/i386/conf/LINT b/sys/i386/conf/LINT
index 168ff1fa16a5..433ae2325450 100644
--- a/sys/i386/conf/LINT
+++ b/sys/i386/conf/LINT
@@ -2,7 +2,7 @@
 # LINT -- config file for checking all the sources, tries to pull in
 #	as much of the source tree as it can.
 #
-#	$Id: LINT,v 1.277 1996/09/10 21:38:45 bde Exp $
+#	$Id: LINT,v 1.278 1996/09/11 19:53:29 phk Exp $
 #
 # NB: You probably don't want to try running a kernel built from this
 # file.  Instead, you should start from GENERIC, and add options from
@@ -961,3 +961,4 @@ options		"IBCS2"
 options		COMPAT_LINUX
 options		"SCSI_2_DEF"
 options		SHOW_BUSYBUFS	# List buffers that prevent root unmount
+options		SPX_HACK
diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES
index 168ff1fa16a5..433ae2325450 100644
--- a/sys/i386/conf/NOTES
+++ b/sys/i386/conf/NOTES
@@ -2,7 +2,7 @@
 # LINT -- config file for checking all the sources, tries to pull in
 #	as much of the source tree as it can.
 #
-#	$Id: LINT,v 1.277 1996/09/10 21:38:45 bde Exp $
+#	$Id: LINT,v 1.278 1996/09/11 19:53:29 phk Exp $
 #
 # NB: You probably don't want to try running a kernel built from this
 # file.  Instead, you should start from GENERIC, and add options from
@@ -961,3 +961,4 @@ options		"IBCS2"
 options		COMPAT_LINUX
 options		"SCSI_2_DEF"
 options		SHOW_BUSYBUFS	# List buffers that prevent root unmount
+options		SPX_HACK