- Actually, modules are built correctly when compiled along the kernel as

they then pick up an opt_global.h from KERNBUILDDIR having PAE defined.
  Thus, build all modules by default except those which still really are
  defective as of r266799.
- Minor style cleanup.

MFC after:	1 week

sys/i386/conf/PAE

@@ -10,12 +10,8 @@ ident		PAE-GENERIC
 # To make a PAE kernel, the next option is needed
 options 	PAE			# Physical Address Extensions Kernel
 
-# Don't build modules with this kernel config, since they are not built with
-# the correct options headers.
-makeoptions	NO_MODULES=yes
-
-# force isp firmware to fully loaded
-device		ispfw
+# The following modules don't build with PAE enabled.
+makeoptions	WITHOUT_MODULES="ctl dpt hptmv ida malo mwl"
 
 # What follows is a list of drivers that are normally in GENERIC, but either
 # don't work or are untested with PAE.  Be very careful before enabling any
@@ -23,7 +19,6 @@ device		ispfw
 # address properly may cause data corruption when used in a machine with more
 # than 4 gigabytes of memory.
 
-
 nodevice	ahb
 nodevice	sym
 nodevice	trm