I had to throw in the towel and uninstall nvidia proprietary drivers. So the dkms does not find anything to install and then building and running the new kernel works fine.