[DRE-maint] Bug#1049999: Please add support for Virtualbox 7.2 and upload to unstable

[Philippe SWARTVAGHER]

Hello,

Upgrading linux kernel to linux-image-6.16.3+deb14-amd64 was broken 
because it failed to build the Virtualbox kernel module. I upgraded 
virtualbox as well to version 7.2. It solved the problem, but it removed 
Vagrant because it was incompatible with virtualbox 7.2.

I used Francesco's patch to add support for virtualbox 7.1, I also added 
the same kind of patch for 7.2 (there is also this kind of commit 
upstream: 
https://github.com/hashicorp/vagrant/commit/4978fab04546b74ccf4ef9664d910b76d55c54dd) 
and built the package locally. It seems it works fine.

Could you please add a patch to support virtualbox 7.2 and upload to 
unstable?


Philippe.