Versuche aus einem Terminal als root mit "m-a a-i virtualbox-source" brachten nichts. (obige Meldungen)
Hatte, nachdem ich von dem Ersatz von virtualbox-ose-source gelesen hatte, in /etc/default/dmakms
das bisherige virtualbox-ose-source in virtualbox-source geändert.
Musste mal ne Weile weg. PC aus --> PC wieder ein. Beim Booten baute dmakms das Modul für vbox 4.0.8.
Hm, keine Ahnung, was bei mir vorher nicht lief.
ciao. jbl