Eu instalei o mais recente kernel com este script mas agora meu VirtualBox não funciona. Quando eu inicio o kernel atual 4.13.0-17 e executo
sudo dpkg-reconfigure virtualbox-dkms
O VirtualBox funciona bem, então eu acho que preciso do kernel assinado também (como descrito aqui ), mas como eu instalá-lo para o kernel mais recente?
Editar: para 4.14.1, ele diz
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.