[Pkg-virtualbox-devel] Bug#780939: virtualbox-dkms does not work for backported kernels.

[Omer van der Horst Jansen]

Today's 4.3.30-dfsg-1+deb8u1 update fixed the compilation issue for me, and VirtualBox works fine now.

Thanks, Omer