Sorry it's taken me so long to get back to you; the affected system is my main work computer, so I can't just go rebooting it constantly, and I've been busy with other things.
In any event, I'm afraid I haven't had much luck with these newer kernels. The bottom line is that to get the VirtualBox modules installed, I need the linux-headers-{version}-generic package, and for these newer kernels, that package depends on libssl1.1 or greater; but the 16.04 I'm using ships with libssl1.0, and I'm unwilling to upgrade that package and risk far greater (and worse) problems or a return to the old "dependency hell" issues of the 1990s.
If I get the chance, I may try installing bionic on a removable drive and try to reproduce the problem in that way.
Sorry it's taken me so long to get back to you; the affected system is my main work computer, so I can't just go rebooting it constantly, and I've been busy with other things.
In any event, I'm afraid I haven't had much luck with these newer kernels. The bottom line is that to get the VirtualBox modules installed, I need the linux-headers- {version} -generic package, and for these newer kernels, that package depends on libssl1.1 or greater; but the 16.04 I'm using ships with libssl1.0, and I'm unwilling to upgrade that package and risk far greater (and worse) problems or a return to the old "dependency hell" issues of the 1990s.
If I get the chance, I may try installing bionic on a removable drive and try to reproduce the problem in that way.