The official build of Mellanox OFED (and as far as i know, also the community OFED) never tested on RT kernels. I don't believe that the code was ever ported properly to work on such kernels.
For RT kernels, my best advise would be to use the inbox drivers (the driver that ships with the OS/Kernel)