vmware zelf te fixen?

[adrien]

De kernel update van enkele dagen geleden door vergeetachtigheid laten
doorgaan, met gevolg dat VMware het niet meer doet, tenzij natuurlijk op
een oudere kernel wordt teruggevallen.

De vorige keer was er snel correctie, nu blijft deze uit om een of
andere reden. Misschien vakantie! :-)

Maar goed, zou het doenbaar zijn zo iets zelf te repareren? En zo ja,
hoe dan?
Uiteraard heb ik al linGoogle gebruikt, maar niks gevonden. De Ubuntu
documentatie maakt mij ook niet wijzer.
-- 
adrien