Make it possible to specify profiling in the kernel config file.

Do so for LINT.

sys/conf/Makefile.alpha

@@ -17,7 +17,7 @@
 #
 
 # Which version of config(8) is required.
-%VERSREQ=	500003
+%VERSREQ=	500004
 
 # Can be overridden by makeoptions or /etc/make.conf
 KERNEL_KO?=	kernel

sys/conf/Makefile.i386

@@ -17,7 +17,7 @@
 #
 
 # Which version of config(8) is required.
-%VERSREQ=	500003
+%VERSREQ=	500004
 
 # Can be overridden by makeoptions or /etc/make.conf
 KERNEL_KO?=	kernel

sys/conf/Makefile.ia64

@@ -27,7 +27,7 @@ OBJCOPY=	ia64-unknown-linux-objcopy
 MACHINE_ARCH=	ia64
 
 # Which version of config(8) is required.
-%VERSREQ=	500003
+%VERSREQ=	500004
 
 # Can be overridden by makeoptions or /etc/make.conf
 KERNEL_KO?=	kernel

sys/conf/Makefile.pc98

@@ -19,7 +19,7 @@
 #
 
 # Which version of config(8) is required.
-%VERSREQ=	500003
+%VERSREQ=	500004
 
 # Can be overridden by makeoptions or /etc/make.conf
 KERNEL_KO?=	kernel

sys/conf/Makefile.powerpc

@@ -17,7 +17,7 @@
 #
 
 # Which version of config(8) is required.
-%VERSREQ=	500003
+%VERSREQ=	500004
 
 # Can be overridden by makeoptions or /etc/make.conf
 KERNEL_KO?=	kernel

usr.sbin/config/config.y

@@ -13,6 +13,7 @@
 %token	HINTS
 %token	IDENT
 %token	MAXUSERS
+%token	PROFILE
 %token	OPTIONS
 %token	MAKEOPTIONS
 %token	SEMICOLON
@@ -145,6 +146,8 @@ Config_spec:
 		|
 	MAXUSERS NUMBER
 	      = { maxusers = $2; } |
+	PROFILE NUMBER
+	      = { profiling = $2; } |
 	HINTS ID
 	      = {
 		      hints = $2;

usr.sbin/config/configvers.h

@@ -8,4 +8,4 @@
  *
  * $FreeBSD$
  */
-#define	CONFIGVERS	500003
+#define	CONFIGVERS	500004

usr.sbin/config/lang.l

@@ -58,6 +58,7 @@ struct kt {
 	{ "machine",	ARCH }, /* MACHINE is defined in /sys/param.h */
 	{ "makeoptions", MAKEOPTIONS },
 	{ "maxusers",	MAXUSERS },
+	{ "profile",	PROFILE },
 	{ "option",	OPTIONS },
 	{ "options",	OPTIONS },
 	{ 0, 0 },