Tras actualizar a la última versión de Debian, me he encontrado con que Vmware Player se quedaba parado al intentar compilar los módulos. La solución es compilar los módulos "a pelo" con la orden:
vmware-modconfig --console --install-all --icon=vmware-player --appname=VMware