I installed the latest kernel with this script but now my VirtualBox doesn't work. When I start the current kernel 4.13.0-17 and run
sudo dpkg-reconfigure virtualbox-dkms
VirtualBox runs fine, so I guess I need the signed kernel too (as described here), but how do I install it for the latest kernel?
Edit: for 4.14.1 it sais
Building initial module for 4.14.1-041401-generic
ERROR (dkms apport): kernel package linux-headers-4.14.1-041401-generic is not supported
Error! Bad return status for module build on kernel: 4.14.1-041401-generic (x86_64)
Consult /var/lib/dkms/virtualbox/5.1.30/build/make.log for more information.