Come al solito, ad ogni nuova minor version di kernel, VMware non funziona più: stavolta sono state sufficiente queste azioni:

cp /usr/lib/vmware/modules/source/vmnet.tar /tmp
cd /tmp
tar xvf vmnet.tar
cd vmnet-only/
vi netif.c

e modificare questa riga
da
dev = alloc_netdev(sizeof *netIf, deviceName, VNetNetIfSetup);

a
dev = alloc_netdev(sizeof *netIf, deviceName, NET_NAME_UNKNOWN, VNetNetIfSetup);

poi..

cd ..
tar cvf vmnet_new.tar vmnet-only/
sudo cp /usr/lib/vmware/modules/source/vmnet.tar /usr/lib/vmware/modules/source/vmnet.tar_20141014
sudo cp vmnet_new.tar /usr/lib/vmware/modules/source/vmnet.tar
vmware-modconfig --console --install-all

e, escludendo qualche “deprecated” che appare durante la compilazione, alla fine appare

Starting VMware services:
Virtual machine monitor done
Virtual machine communication interface done
VM communication interface socket family done
Blocking file system done
Virtual ethernet done
VMware Authentication Daemon done
Shared Memory Available done