Pour VirtualBox, vous devez installer le paquet DKMS :
sudo apt-get install dkms
Vous ne devriez pas épingler les versions du kernel car elles contiennent des correctifs de sécurité et de stabilité ! Meltdown & Spectre en sont des exemples.
Continuez seulement si vous êtes totalement sûr de ce que vous faites.
Pour épingler les paquets du kernel, consultez ma réponse précédente.
Si vous comprenez ce que vous allez réaliser (en diminuant la sécurité, bien sûr) - vous devriez épingler les paquets suivants :
- linux-headers-4.4.0-119
- linux-headers-4.4.0-119-generic
- linux-headers-generic
- linux-image-4.4.0-119-generic
- linux-image-extra-4.4.0-119-generic
- linux-image-generic
- linux-tools-4.4.0-119
- linux-tools-4.4.0-119-generic
- linux-libc-dev
- linux-libc-dev:i386
- linux-tools-common
- linux-source
- linux-source-4.4.0
Pour rendre les épinglages de Synaptic et APT cohérents (voir ma réponse précédente) :
sudo ln -s /etc/apt/preferences.d/synaptic /var/lib/synaptic/preferences