Nach einem Update des VMware Players (bei mir auf 4.0.4) kompiliert unter 3.2.-Linux-Kerneln nicht. Unter Linux Mint / Ubuntu hilft dann folgendes:
Diesen Patch herunterladen.
Entpacken und die Datei patch-modules_3.2.0.sh mit einem Editor öffnen. In Zeile 8 dann die richtige VMware Player Version eintragen (bei mir statt 4.0.2 also 4.0.4) und speichern. Danach
sudo ./patch-modules_3.2.0.sh
Falls es hier zu einer Fehlermeldung kommt („your modules have been patched already“) ist die versteckte Datei .patched im Verzeichnis /usr/lib/vmware/modules/source die wahrscheinlichste Ursache. Einfach löschen und das Skript neu durchlaufen lassen.