This bug was fixed in the package virtualbox - 4.1.12-dfsg-2ubuntu0.7
--------------- virtualbox (4.1.12-dfsg-2ubuntu0.7) precise; urgency=low
* Add support for VirtualBox host kernel modules on Linux 3.13 (LP: #1292118). -- Corey Wright <email address hidden> Sun, 14 Dec 2014 18:58:12 -0600
This bug was fixed in the package virtualbox - 4.1.12- dfsg-2ubuntu0. 7
--------------- dfsg-2ubuntu0. 7) precise; urgency=low
virtualbox (4.1.12-
* Add support for VirtualBox host kernel modules on Linux 3.13
(LP: #1292118).
-- Corey Wright <email address hidden> Sun, 14 Dec 2014 18:58:12 -0600