This bug was fixed in the package virtualbox - 4.1.12-dfsg-2ubuntu0.8
--------------- virtualbox (4.1.12-dfsg-2ubuntu0.8) precise; urgency=medium
* Add support for Virtualbox host kernel modules on Linux 3.5 (LP: #1408939). -- Gianfranco Costamagna <email address hidden> Fri, 09 Jan 2015 11:48:31 +0100
This bug was fixed in the package virtualbox - 4.1.12- dfsg-2ubuntu0. 8
--------------- dfsg-2ubuntu0. 8) precise; urgency=medium
virtualbox (4.1.12-
* Add support for Virtualbox host kernel modules on Linux 3.5
(LP: #1408939).
-- Gianfranco Costamagna <email address hidden> Fri, 09 Jan 2015 11:48:31 +0100