Summary of changes:
d412329... Update VirtualBox to 7.1.0 (*)
2104475... Also drop VirtualBox-python3.12.patch (*)
c969b03... Drop support to enable the build of old vboxvideo (guest dr (*)
b7f6683... Fix License and cleanups (*)
(*) This commit already existed in another branch; no separate mail sent