这个情况可能很多人都遇到了，因为在GNU/Linux 上升级linux kernel 是家常便饭的事情。

由于我所使用的是virtualbox.org 官方源上提供的闭源版本，所以不清楚这种情况会不会出现在发行版自带的vbox 版本上，如 packages.ubuntu.com 上的 virtualbox open source edition.

好了，开始说正事。

就是当GNU/Linux 系统更换了内核后，导致了vbox 所需要的ddms 以及虚拟内核模块需要重新编译一个适用于当前新内核的。

而升级内核默认是不会安装新内核的头文件包的，也就是 linux-headers-x.x.x-xx-generic。

所以，使用了新内核的虚拟机自然是不会启动的。

解决办法：安装内核对应的头文件包。

sudo apt-get install linux-headers-`uname -r`

sharl@sharl-desktop:~$ sudo /etc/init.d/vboxdrv setup
 * Stopping VirtualBox kernel modules                                    [ OK ] 
 * Recompiling VirtualBox kernel modules                                 [ OK ] 
 * Starting VirtualBox kernel modules                                    [ OK ] 

再次启动虚拟机，OK，问题解决。

附完整的内核安装包列表：

sharl@sharl-desktop:~$ dpkg -l | grep `uname -r`
ii  linux-headers-3.5.0-27-generic            3.5.0-27.46                               amd64        Linux kernel headers for version 3.5.0 on 64 bit x86 SMP
ii  linux-image-3.5.0-27-generic              3.5.0-27.46                               amd64        Linux kernel image for version 3.5.0 on 64 bit x86 SMP
ii  linux-image-extra-3.5.0-27-generic        3.5.0-27.46                               amd64        Linux kernel image for version 3.5.0 on 64 bit x86 SMP
sharl@sharl-desktop:~$