En el caso que se haya instalado un nuevo kernel, es conveniente reiniciar e iniciar con este nuevo kernel.