They most definitely were not removed when I removed mstflint. Autoremove removed only three libraries, I can't recall their names but they were related to the unneeded mstflint. I have never grown a neckbeard so I don't have the long history with the evolution of package management from compiling your own from source to using a package manager with a nice gui in KDE but I will certainly take the dkms install --all command under advisement for the next kernel upgrade. You aren't saying that the OFED modules will recompile themselves after upgrading the kernel are you? I kind of thought that was what you and Jeff were saying early in this thread. Upgrade Kernel, install new kernel's header package, then reboot and it will just work. That was my naive expectation based on the conversation. After that didn't work for me, am I now correct in thinking that I should still need to run "dkms install --all" after installing the headers but before rebooting? Do I need to reboot after installing the new headers and then run the dkms command? You probably can't dumb it down too much for me.