Una semana después tenemos el kernel 3.12.6. Esta vez he hecho dos compilaciones, una usando el ordenador como habitualmente, y otra bloqueando la pantalla y marchándome. La primera fue de 12 minutos y 15 segundos, mientras que la segunda:
$ time fakeroot make-kpkg -j4 --initrd --revision=3.12.6 ...