>This is all trivial to fix of course, because I can just install the correct >nvidia module package to match the older kernel, but shouldn't kernel module >packages, like the kernel packages, be "installonly" instead of being upgradable? > > > ACK!!