Workaround (precise linux-image 3.8.*)
wget -O /tmp/virtualbox.patch 'http://bugs.debian.org/cgi-bin/bugreport.cgi?msg=99;filename=vbox-wheezy.patch;att=1;bug=696011' cd /usr/src/virtualbox-4.1.12/ patch -p4 < /tmp/virtualbox.patch dkms autoinstall
Workaround (precise linux-image 3.8.*)
wget -O /tmp/virtualbox .patch 'http:// bugs.debian. org/cgi- bin/bugreport. cgi?msg= 99;filename= vbox-wheezy. patch;att= 1;bug=696011' virtualbox- 4.1.12/ .patch
cd /usr/src/
patch -p4 < /tmp/virtualbox
dkms autoinstall