Instale todos os pacotes do kernel incluindo kernel-header
, com um novo kernel (3.11.0-13 (binário) com synaptic. Depois reinicie. O sistema irá iniciar com o novo kernel e ... work. (meu problema é usar o vmware) )
Se você tiver um problema com o 3.5.0-42, pode começar com o antigo.