Que salga un kernel cada 4 días no mola.

Pero así es la vida, y aquí está el kernel 3.12.5. Así que a compilar se ha dicho:

$ time fakeroot make-kpkg -j4 --initrd --revision=3.12.5+1 --append-to-version=-amd64 kernel_image kernel_headers
real    12m2.401s
user    28m55.380s
sys     2m1.528s

Por la razón que sea, siguen saliendo cifras mayores que las logradas con aquella 3.12.3. :-/

:wq