Thank you Yohann Lorant! Your patch (and additional "include" line) worked for me. This is with virtualbox-dkms 4.1.18-dfsg-2+deb7u1 I hope those changes are helpful in getting virtualbox to work with an up-to-date debian unstable. -- Jason