diff --git a/sys/conf/NOTES b/sys/conf/NOTES
index a2683786c477..58d5914b0e7a 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.168 1995/04/12 22:02:51 phk Exp $
+#	$Id: LINT,v 1.169 1995/04/14 15:12:24 dufault 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
@@ -385,7 +385,7 @@ options		"AUTO_EOI_1"
 #options	"AUTO_EOI_2"
 options		BOUNCE_BUFFERS
 #options	DUMMY_NOPS
-#options	TUNE_1542
+#options        "TUNE_1542"
 
 # Enable this and PCVT_FREEBSD for pcvt vt220 compatible console driver
 #device		vt0	at isa? port "IO_KBD" tty irq 1 vector pcrint
diff --git a/sys/i386/conf/LINT b/sys/i386/conf/LINT
index a2683786c477..58d5914b0e7a 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.168 1995/04/12 22:02:51 phk Exp $
+#	$Id: LINT,v 1.169 1995/04/14 15:12:24 dufault 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
@@ -385,7 +385,7 @@ options		"AUTO_EOI_1"
 #options	"AUTO_EOI_2"
 options		BOUNCE_BUFFERS
 #options	DUMMY_NOPS
-#options	TUNE_1542
+#options        "TUNE_1542"
 
 # Enable this and PCVT_FREEBSD for pcvt vt220 compatible console driver
 #device		vt0	at isa? port "IO_KBD" tty irq 1 vector pcrint
diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES
index a2683786c477..58d5914b0e7a 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.168 1995/04/12 22:02:51 phk Exp $
+#	$Id: LINT,v 1.169 1995/04/14 15:12:24 dufault 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
@@ -385,7 +385,7 @@ options		"AUTO_EOI_1"
 #options	"AUTO_EOI_2"
 options		BOUNCE_BUFFERS
 #options	DUMMY_NOPS
-#options	TUNE_1542
+#options        "TUNE_1542"
 
 # Enable this and PCVT_FREEBSD for pcvt vt220 compatible console driver
 #device		vt0	at isa? port "IO_KBD" tty irq 1 vector pcrint