This bug was fixed in the package virtualbox - 4.1.12-dfsg-2ubuntu0.5
--------------- virtualbox (4.1.12-dfsg-2ubuntu0.5) precise-proposed; urgency=low
* Update the patch for Linux 3.11 with a more complete implementation (LP: #1076603). -- Alberto Milone <email address hidden> Mon, 30 Sep 2013 10:54:27 +0200
This bug was fixed in the package virtualbox - 4.1.12- dfsg-2ubuntu0. 5
--------------- dfsg-2ubuntu0. 5) precise-proposed; urgency=low
virtualbox (4.1.12-
* Update the patch for Linux 3.11 with a more complete
implementation (LP: #1076603).
-- Alberto Milone <email address hidden> Mon, 30 Sep 2013 10:54:27 +0200