Thread update / notes. Issue is still open:
1) The system (2.6.32-431.1.2.el6) I am using has matching kernel, devel, firmware and hearers.
This was verified with "yum list kernel*", which produced:
Installed Packages
kernel.x86_64 2.6.32-358.el6
kernel.x86_64 2.6.32-431.1.2.el6
kernel-devel.x86_64 2.6.32-358.el6
kernel-devel.x86_64 2.6.32-431.1.2.el6
kernel-firmware.noarch 2.6.32-431.1.2.el6
kernel-headers.x86_64 2.6.32-431.1.2.el6
2) I have ran a test mlnxofedinstall on a fresh Scientific Linux 6.4 install (2.6.32-358.el6)
In the SL6.4 install I added "Development Support" which includes kernel devel, firmware and headers.
I was able to mlnx_add_kernel_support and mlnxofedinstall but the kernel modules would not load,
producing an error: duplicate symbols.... owned by mac80211....
investigation continues
Gary