diff --git a/release/alpha/drivers.conf b/release/alpha/drivers.conf
index 106c8abd61be..6b940e66ff52 100644
--- a/release/alpha/drivers.conf
+++ b/release/alpha/drivers.conf
@@ -28,10 +28,12 @@
 #
 # drv: driver name in kernel config file
 # filename: filename of kernel module (without .ko)
-# floppy: 2 (mfsroot.flp), 3 (drivers.flp - not implemented yet)
+# floppy: 2 (mfsroot.flp), 3 (drivers.flp)
 # type: 'options' (for a kernel option) or anything else for a driver
 # description: short description of the driver
 #
+# If you add functionality here, please update drivers.conf(5).
+#
 
 #drv	filename	floppy	type	description
 de	if_de		2	network	"DEC DE435 PCI NIC or other DC21040-AA based card"
diff --git a/release/i386/drivers.conf b/release/i386/drivers.conf
index baffc8f29566..4562a9d50a93 100644
--- a/release/i386/drivers.conf
+++ b/release/i386/drivers.conf
@@ -29,10 +29,12 @@
 #
 # drv: driver name in kernel config file
 # filename: filename of kernel module (without .ko)
-# floppy: 2 (mfsroot.flp), 3 (drivers.flp - not implemented yet)
+# floppy: 2 (mfsroot.flp), 3 (drivers.flp)
 # type: 'options' (for a kernel option) or anything else for a driver
 # description: short description of the driver
 #
+# If you add functionality here, please update drivers.conf(5).
+#
 
 #drv	filename	floppy	type	description
 amr	amr		3	disk	"AMI MegaRAID"
diff --git a/release/pc98/drivers.conf b/release/pc98/drivers.conf
index 270671065e1b..524f3fb5e348 100644
--- a/release/pc98/drivers.conf
+++ b/release/pc98/drivers.conf
@@ -29,10 +29,12 @@
 #
 # drv: driver name in kernel config file
 # filename: filename of kernel module (without .ko)
-# floppy: 2 (mfsroot.flp), 3 (drivers.flp - not implemented yet)
+# floppy: 2 (mfsroot.flp), 3 (drivers.flp)
 # type: 'options' (for a kernel option) or anything else for a driver
 # description: short description of the driver
 #
+# If you add functionality here, please update drivers.conf(5).
+#
 
 #drv	filename	floppy	type	description
 dc	if_dc		2	network	"DEC/Intel 21143 (and clones) PCI fast ethernet card"