Al grano: el changelog del kernel 3.12.8 y la compilación:

$ time fakeroot make-kpkg -j4 --initrd --revision=3.12.8+1 --append-to-version=-amd64 kernel_image kernel_headers
real    12m15.975s
user    29m25.000s
sys     2m0.296s

En estos 6 días no he tenido ningún crash en el módulo de NVIDIA, pero no sé si se debe sólo al azar o a que arreglaron algo en la 3.12.7. Por otro lado, ha salido una nueva versión del driver propietario de NVIDIA (la 331.38). El asunto es que si ahora cambio de versión del driver, y no se produce más el crash, no voy a saber si era culpa del driver o del kernel. Y lo más importante: quién lo ha arreglado (y por lo tanto quién la pifió en primera instancia).

Esto puede parecer una pérdida de tiempo si el problema se ha solucionado, pero no lo es si no. Y siempre es mejor tener localizado el origen del problema por si hay futuras regresiones.

:wq