linux内核更新后 virtualbox之前创建的虚拟机打不开了

[xinqijisuper]

由于显卡驱动的问题，我把内核从3.2升级到了3.4.0-030400-generic。通过http://kernel.ubuntu.com/~kernel-ppa/mainline/里面的deb包装的
然后 virtualbox就打不开了。提示为
The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or there is a permission problem with /dev/vboxdrv. Please reinstall the kernel module by executing

'/etc/init.d/vboxdrv setup'

as root. If it is available in your distribution, you should install the DKMS package first. This package keeps track of Linux kernel changes and recompiles the vboxdrv kernel module if necessary.
这段话大家估计都遇到过， 很简单， sudo /etc/init.d/vboxdrv setup就可以了。
然后又出错，
* Stopping VirtualBox kernel modules [ OK ]
* Recompiling VirtualBox kernel modules
* Look at /var/log/vbox-install.log to find out what went wrong
打开 /var/log/vbox-install.log 后，里面的内容虽然看不懂，但是好多linux-headers-3.2.0-36-generic这句话。那肯定是内核的问题咯。

我去网上查看了一些方法，最常用的是
sudo apt-get install linux-headers-$uname -r 。 但是我在我的软件源里没有找到 linux-headers-3.4。。。 列表里面从3.2直接到3.5去了。。所以这个方法暂时失败
还有个方法
1. sudo apt-get install virtualbox-ose-source
2. sudo m-a update
3. sudo m-a prepare
4. sudo m-a a-i virtualbox-ose
5. sudo /etc/init.d/vboxdrv restart
不过在第四步时候这么说
Bad luck, the kernel headers for the target kernel version could not be found and you did not specify other valid kernel headers to use.
好像是我装的这个内核版本找不到？？？难道是virtualbox对这个内核版本不支持？

怎么才能修复这个问题？

[xinqijisuper]

那个第四步时还出现了这个提示：
If the running kernel has been shipped with the Debian
│ distribution, please install the package
│ linux-headers-3.4.0-030400-generic. If your kernel source tree
│ (or headers) is located in some non-usual location, please set
│ the KERNELDIRS environment variable to the path of this
│ directory, or (alternatively) specify the source directory we
│ build for with the --kernel-dir option in module-assistant calls.


Package virtualbox-ose-source was not built successfully, see
│ /var/cache/modass/virtualbox-ose-source*buildlog* for details!

[tang.zhe]

代码： 全选

sudo /etc/init.d/vboxdrv setup

[leu6sing]

每次更新系统后重装一遍vbox即可

[zhouqun]

sudo /etc/init.d/vboxdrv setup

我每次执行，都黑屏死机，真郁闷，试了很多方法，virtualbox重装了很多次，都这样，真郁闷

[jqxw4444]

后来怎么解决的？ 我也是这个情况，还没有解决