update virtualbox-bin, virtualbox-modules, and virtualbox-guest-additions to 4.0 Reproducible: Always
*** This bug has been marked as a duplicate of bug 349407 ***