Comment 29 for bug 1292118

better late than never; didn't realize i would have to do everything myself.

apt-get source virtualbox
cd virtualbox-4.1.12-dfsg
patch -p1 <../linux-3.13-virtualbox-host-kernel-modules.patch
apt-get install build-dep virtualbox
apt-get install devscripts fakeroot
debuild -i -us -uc
cd ..
dpkg -i virtualbox-dkms_4.1.12-dfsg-2ubuntu0.7_all.deb