coanda, you are correct - when installing different kernel you have to have all corresponding kernel rpms (devel, firmware, headers) for that kernel to be able to rebuild MOFED (using add_kernel script).
The errors reported above are likely because of conflicting kernel-devel, kernel-firmware and kernel-headers) rpms.