Installier halt unter Ubuntu auch die aktuelle VBox-Version.
Das würde wohl das Problem nur teilweise lösen, denn der Kernel 3.11 ist anscheinden total buggy.
Mit den GuestAdditions von VirtualBox 4.2.18 läuft es mit dem Kernel 3.11 anscheinend erst mal, aber dann kann ich Krusader root nicht ordentlich aufrufen, er füllt die Panel nicht und friert das System ein.
Auch andere Programme starten nicht usw.
Habe den Kernel 3.11 nun auch unter aptosid wieder entfernen müssen.
Mein Frage vom Ausgangs-Posting bleibt.
Gruß
Ch. Hanisch