Looks like this one is somehow automagically compiled by dkms.
Perhaps if one removes the virtualbox-dkms package and installs the dkms package and then re-installs the virtualbox-dkms package the auto compile would get triggered?
And then the modprobe to add the module. If not, apparently man 8 dkms should contain answers.