I need to have kernel sources installed in /usr/src, but I did not install them at the time my system was installed. I should have done so, since I have an Nvidia GPU. (12.2-RELEASE, amd64.) If someone has instructions that would save time as compared to repeating the installation, I would appreciate it.