That’s the manual way, yeah, but from what I understand DKMS is supposed to do that for you. It does on my server anyway for various modules, and it rebuilds them on every kernel update.
The problem with doing it manually is the next time you update your kernel, which happens regularly, you’ll have to build sign your modules again before you reboot, or your display manager won’t start.
I haven’t run the manual setup in a while, but it used to get stuck in a loop when it hit the display manager in such cases. If I were you I’d make sure to have ssh access to the machine so if it does happen, you can:
sudo systemctl isolate multi-user.target
to drop to a tty, run setup again with your key like you did in step 10, and reboot. You don’t actually have to drop to a tty, but it’ll stop the display manager making your monitor convulse.
Anyways, if you do want 440, there is a repo with up to date packages you can try. You could give it another shot and see what happens. I believe
nvidia-driver-440 is the package you are looking for, and
nvidia-headless-440 for a headless server. There is also
nvidia-utils-440 that has
nvidia-smi but it may be included by the metapackage. I don’t really know since my only linux nvidia x86 box is headless.
You might want to report your bios not prompting to Canonical. It should be working for you.