Comment 4 for bug 1791935

Tried the upstream header kernel `linux-headers-4.19.0-041900rc5`, which wasn't being displayed as an option in grub's advanced menu. There was no error after installing with `$ sudo dpkg -i lin...deb`, so assumed upstream was installed.

To confirm the bug is due to 4.15.0-34, I rolled back to 4.15.0-33 and tested VirtualBox. I can confirm VirtualBox 5.2 - 5.2.18 r124319 (Qt5.9.5) - works under kernel 4.15.0-33.

Let me know if you would like me to retry any installations of upstream linux headers.