O mais recente kernel do Ubuntu 14.04 64bit 3.13.0-143-generic não permite que o vmware workstation player 12.5.9 seja iniciado.
Isso é causado pelo vmmon, os módulos vmnet não são carregados aparentemente devido à 'inicialização segura' impede o carregamento de módulos não assinados.
Meu PC tem CPU mais antiga (C2D) e o BIOS não tem UEFI, então acho que a inicialização segura está desativada por padrão nesta máquina. Eu procurei no dmesg por 'Secure boot' words e confirmei none.h
O reprodutor de workstation Vmware funciona bem no kernel anterior.
Alguém se deparou com o mesmo problema?