Wichtige Bugfixes: Oracle VirtualBox 4.2.18 ist ausgegeben
Bezüglich Linux-Kernel 3.11 wurden ebenfalls Fehler ausgebessert (Bug #12001). Auch die udev-Erkennung bei Linux-Kernel 3.x soll repariert sein. Du findest alle Änderungen im offiziellen Changelog.
VirtualBox 4.2.18 gibt es für Linux, Windows, Mac OS X und Solaris hinter diesem Link. Dort findest Du auch die entsprechenden Extension Packs.
Was Kernel 3.11 angeht - die Gasterweiterungen von VBox v4.2.18 sind überhaupt erstmal installierbar (wie zuvor die von v4.3.0b1, die man ersatzweise auch in VBox v4.2.16 hat installieren können). Das Problem bzw. dessen Behebung scheinen auch keine einfachen gewesen zu sein.