в RHEL всё что касается infiniband берётся из OFED ... было бы неплохо и нам так же поступать.
Собственно так и поступаем....