WITH_OFED build option: fix

Userspace has OFED build enabled for quite some time, but kernel modules
were not. This is useless config because any userspace IB code requires
kernel support. So enable modules build by default.

Move WITH_OFED to WITHOUT_OFED since defaults are now enabled.

Reviewed by:	emaste, hselasky, kevans
MFC after:	3 days
Sponsored by:	NVidia Networking / Mellanox Technologies
Differential Revision:	https://reviews.freebsd.org/D28460

sys/conf/kern.opts.mk

@@ -41,6 +41,7 @@ __DEFAULT_YES_OPTIONS = \
     ISCSI \
     KERNEL_SYMBOLS \
     NETGRAPH \
+    OFED \
     PF \
     SCTP_SUPPORT \
     SOURCELESS_HOST \
@@ -55,7 +56,6 @@ __DEFAULT_NO_OPTIONS = \
     INIT_ALL_PATTERN \
     INIT_ALL_ZERO \
     KERNEL_RETPOLINE \
-    OFED \
     RATELIMIT \
     REPRODUCIBLE_BUILD
 

tools/build/options/WITHOUT_OFED

@@ -0,0 +1,4 @@
+.\" $FreeBSD$
+Set to disable the build of the
+.Dq "OpenFabrics Enterprise Distribution"
+Infiniband software stack, including kernel modules and userspace libraries.

tools/build/options/WITH_OFED

@@ -1,4 +0,0 @@
-.\" $FreeBSD$
-Set to build the
-.Dq "OpenFabrics Enterprise Distribution"
-Infiniband software stack.