Virtualbox sur Ubuntu 19.04 exécutant le noyau 5.2.5 : le pilote du noyau n'est pas installé (rc=-1908)

J'ai acheté un nouvel ordinateur portable sur lequel je dois exécuter le noyau 5.1+ parce que ma puce Wi-Fi (Intel® Wi-Fi 6 AX200) ne serait pas prise en charge autrement. Maintenant, je rencontre des problèmes avec VirtualBox.

Le problème

Kernel driver not installed (rc=-1908)

The VirtualBox Linux kernel driver is either not loaded or not
set up correctly. Please try setting it up again by executing

'/sbin/vboxconfig'

as root.

If your system has EFI Secure Boot enabled you may also need
to sign the kernel modules (vboxdrv, vboxnetflt, vboxnetadp,
vboxpci) before you can load them. Please see your Linux 
system's documentation for more information.

where: suplibOsInit what: 3 VERR_VM_DRIVER_NOT_INSTALLED (-1908)
The support driver is not installed. On linux, open returned ENOENT. 

Ce que j'ai essayé

1. sudo /sbin/vboxconfig

   Please install the Linux kernel "header" files matching the current kernel for adding new hardware support to the system. The distribution packages containing the headers are probably: linux-headers-generic linux-headers-5.2.5-050205-generic

J'ai linux-headers-generic installé, et je ne peux pas installer linux-headers-5.2.5-050205-generic parce qu'il n'existe pas. linux-headers-5.2.5-050205 existe et je l'ai installé, mais cela ne fait pas de différence.

2. If your system is using EFI Secure Boot... J'ai désactivé Secure Boot.

3. sudo modprobe vboxdrv

modprobe: FATAL: Module vboxdrv not found in directory /lib/modules/5.2.5-050205-generic Le répertoire existe, mais le module n'est effectivement pas là. J'ai essayé d'exécuter sudo apt install --reinstall linux-headers-$(uname -r) virtualbox-dkms dkms et redémarrer, mais cela n'a pas résolu le problème.

4. sudo apt remove virtualbox* y sudo apt-get install build-essential linux-headers-'uname -r' dkms virtualbox-dkms

Cela me donne à nouveau l'erreur Package linux-headers-5.2.5-050205-generic is not available, but is referred to by another package. comme pour le point 1.

5. sudo apt-get install dkms y sudo /etc/init.d/vboxdrv setup

sudo: /etc/init.d/vboxdrv: command not found

6. Ce problème se pose aussi bien pour VirtualBox 6 que pour VirtualBox 5.2.

Duplicatas possibles

この un éventuel doublon me conduit à este y este poste. J'ai essayé toutes les solutions proposées, mais aucune ne fonctionne. Mon principal problème semble être le suivant linux-headers-5.2.5-050205-generic est manquant.

Edit : este Le message a été marqué comme un possible doublon, ce qu'il n'est pas, comme je l'ai expliqué ci-dessus.