Yo también tuve bastantes problemas para instalar el programita... lo que hice fue instalar el kernel-source de última versión y el stripped de la versión anterior. Así me dejó compilar el vmware y hacerlo funcionar.
El único problema que tengo, y no sé porqué, es que cada vez que reinicio el pc he de configurar el vmware con el comando "vmware-config.pl". Pero bueno, se hace y funciona de maravilla (entre comillas, porque el sonido petardea, pero al menos para los exes fáciles funciona bastante bien).