Il y a un bug dans les versions binaires des modules noyaux fournis dans le rpm nommé VMware-Workstation-6.5.1-126130.x86_64.rpm Il faut donc les supprimer en éxécutant la commande :

rm -rf /usr/lib/vmware/modules/binary/

Puis compiler tous les modules noyaux VMware en éxécutant la commande :

vmware-modconfig --console --install-all