Eu baixei a versão atual do VMWare Player. Eu tenho o kernel 3.7. Ao iniciar, ele me pediu para informar onde o kernel estava localizado. Então os módulos do kernel Vmware não foram compilados.
A solução foi adicionar um link simbólico para version.h:
sudo ln -s /usr/src/linux-headers-3.7.0-7-generic/include/generated/uapi/linux/version.h /usr/src/linux-headers-3.7.0-7-generic/include/linux/version.h
então eu corro
sudo vmware-modconfig --console --install-all
Em seguida, compilou
Isso é válido para qualquer versão do kernel que você tenha atualmente:
ln -s /usr/src/linux-headers-'uname -r'/include/generated/uapi/linux/version.h /usr/src/linux-headers-'uname -r'/include/linux/version.h