--- src/sys/config/LINT	2007/08/29 15:42:05	1.130
+++ src/sys/config/LINT	2007/09/02 13:27:23	1.131
@@ -2687,7 +2687,6 @@ options 	FB_INSTALL_CDEV
 options 	FE_8BIT_SUPPORT
 options 	I4B_SMP_WORKAROUND
 options 	I586_PMC_GUPROF=0x70000
-options 	IPFW2
 options 	KBDIO_DEBUG=10
 options 	KBD_MAXRETRY=4
 options 	KBD_MAXWAIT=6