Building OFED kernel modules on Red Hat 7.2

I have a customer who needs to update to the latest RH kernel (3.10.0-693.17.1.el7.x86_64). The instructions say that compiling modules for the new version is not necessary because symlinks to the existing modules are placed in a “weak-links” subfolder for the new kernel. The symlinks were placed there, but the kernel did not recognize the modules, and Infiniband failed to initialize.

Attempting to follow the instructions in MLNX_OFED_LINUX-4.0-2.0.0.1-rhel7.2-x86_64.iso has been a mess, as required options are insufficiently documented.

Can anyone point me to a guide which will actually let me compile (not install - I want to do that as a separate step) the kernel driver modules for the newer kernel?

The OS is RHEL 7.2, the hardware is Dell, and the adapters are ConnectX-3’s. The current kernel version is 3.10.0-327.el7.x86_64.