El kernel 3.12.9 no lleva muchos cambios, pero lo compilo igualmente:

$ time fakeroot make-kpkg -j4 --initrd --revision=3.12.9+1 --append-to-version=-amd64 kernel_image kernel_headers
real    12m18.007s
user    29m17.280s
sys     2m1.348s

En cuanto a los crashs del módulo de NVIDIA, un par de días después de compilar el kernel 3.12.8 tuve uno usando el driver 331.20. Así que, una vez comprobado que el cambio de kernel no había arreglado nada, lo que hice fue actualizar el driver binario de NVIDIA a la nueva versión 331.38. Desde entonces no he tenido ningún crash, y aunque es un poco prematuro (sólo han sido 9 días de prueba) estoy bastante confiado en que ésta vez sí que se ha solucionado el problema (y que era la propia NVIDIA la que tenía que solucionarlo en su software).

Como estos drivers binarios son tan picajosos con los cambios en el kernel, el plan ahora mismo es aguantar un poco más en la rama 3.12.x antes de pasarse a la 3.13. Ya veremos.

:wq

P.D. Algún día, con más tiempo, tengo que hablar de lo que pasa con el driver libre nouveau, y por qué no es aún una alternativa a este engendro propietario de NVIDIA.