Instalé elúltimo kernelconeste guiónpero ahora mi VirtualBox no funciona. Cuando inicio el kernel actual 4.13.0-17 y ejecuto
sudo dpkg-reconfigure virtualbox-dkms
VirtualBox funciona bien, así que supongo que también necesito el kernel firmado (como se describeaquí), pero ¿cómo lo instalo para el kernel más reciente?
Editar: para 4.14.1 dice
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.