Virtualbox в Ubuntu 19.04 с работающим ядром 5.2.5: драйвер ядра не установлен (rc = -1908)

Я купил новый ноутбук, на котором мне нужно запустить ядро ​​5.1+, потому что иначе мой WiFi-чип (Intel® Wi-Fi 6 AX200) не будет поддерживаться. Теперь у меня проблемы с VirtualBox.

Проблема

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. 

Что я пробовал

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

У меня установлено linux-headers-generic, и я не могу установить linux-headers-5.2.5-050205-generic, потому что он не существует. linux-headers-5.2.5-050205 существует, и я установил его, но это не имеет значения.

2. If your system is using EFI Secure Boot... У меня отключена безопасная загрузка.

3. sudo modprobe vboxdrv

modprobe: FATAL: Module vboxdrv not found in directory /lib/modules/5.2.5-050205-generic Каталог существует, но модуля действительно нет. Я попытался запустить sudo apt install --reinstall linux-headers-$(uname -r) virtualbox-dkms dkms и перезагрузиться, но это не решило проблему

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

Это снова дает мне ошибку Package linux-headers-5.2.5-050205-generic is not available, but is referred to by another package., как с пунктом 1.

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

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

6. Как VirtualBox 6, так и VirtualBox 5.2 имеют эту проблему.

Возможные дубликаты

Этот возможный дубликат приводит меня к этому и этому посту. Я испробовал все решения там, но ни один не работает. Моя самая большая проблема, кажется, в том, что linux-headers-5.2.5-050205-generic отсутствует.

Редактировать: этот пост был помечен как возможный дубликат, что не является, как я объяснил выше.