Probeer dit nog eens:
sudo aptitude reinstall virtualbox-3.2Als het dan nog niet werkt, heb ik echt geen enkel idee meer... 
het is gelukt bedankt 
Gelukkig! Okee, het probleem werd dus veroorzaakt door het onbreken van de 'headers' bij de kernel. Bij een systeem waarbij de broncodes in de softwarebronnen uitgevinkt staan, worden die headers niet geïnstalleerd omdat die normaal alleen maar nodig zijn als je zelf gaat programmeren. Toen VirtualBox OSE de eerste keer geïnstalleerd werd, waren die headers kennelijk wel aanwezig. Maar na een kernelupgrade zullen ze verwijderd zijn. En vermits VirtualBox zijn driver voor elke nieuwe kernel moet hercompileren, loopt dat dus fout. Het gewoon naderhand bijinstalleren van de headers en dan de vboxdrv setup uitvoeren is iets dat ze bij Oracle dus eens moeten nakijken, want hoewel dat zou moeten werken lukt dat dus niet. Maar bij een reinstall van VirtualBox wordt op het einde die drivercompilatie ook uitgevoerd. Als je eventueel terugwil naar de OSE-versie kan dat nu ook. Gewoon
sudo aptitude purge virtualbox-3.2
sudo aptitude install virtualbox-oseen je werkt weer met de OSE-versie. Met een 64-bit systeem zou ik dat zeker niet doen, vermits je met de non-free versie de hypervisorfunctionaliteiten van de processor kunt gebruiken en dus de allerbeste prestaties van VM's daarmee krijgt. De functionaliteit van de non-free versie is ook uitgebreider dan die van de OSE-versie.
