Infiniband documentation outdated

[Peter Holvenstot]

Hello,

the script to build the kernel modules for the mlx4 infiniband driver
appears to be outdated at least as of 12.0-RELEASE.  After some searching,
it appears the correct script is:

 #!/bin/sh -e

cd /usr/src/sys/modules
for module in mlx4 ibcore mlx4ib ipoib; do
    cd $module

*make DEBUG_FLAGS="-DVIMAGE=1"*    make install
    sync
    kldload $module || true
    printf "${module}_load=\"YES\"\n" >> /boot/loader.conf
    cd ..
done
kldstat

note the addition of the DEBUG_FLAGS.  Otherwise all of the modules except
mlx4 fail to kldload correctly.

Thanks,
Peter