After seeing Virtualbox fail to work with linux-headers versions 5.15.0.116 and 5.15.0.117, I'd like to know to whom to report this issue. I have kept 5.15.0.113 in my /boot dir because it is the latest version I can get working with Virtualbox. But I would like to not be stuck with an older kernel forever.
Virtualbox version is 6.1.50.
(vboxdrv is an important tag for this post.)