Hi,
For production systems where you only apply a verified configuration and rarely need experimenting and low-level diagnostics, I'd recommend using drivers from the Linux kernel.
A gratis is when a bug-fix from MLNX arrives you know exactly what has been fixed from the kernel ChangeLog and git logs.
MLNX OFED is too invasive to be installed on a production system, IMHO.
Regards,
Guan