I am seeing the affect of this, too. In the last 2-3 kernel updates, I have updated the kernel, but the VirtualBox modules lag by a couple of days. Once the VB modules are installed, I reboot to the new kernel. When I try to run VB, it fails because the kernel is not installed. Running "depmod -a" fixes the problem. Somehow, this should be done automatically.
I am seeing the affect of this, too. In the last 2-3 kernel updates, I have updated the kernel, but the VirtualBox modules lag by a couple of days. Once the VB modules are installed, I reboot to the new kernel. When I try to run VB, it fails because the kernel is not installed. Running "depmod -a" fixes the problem. Somehow, this should be done automatically.