Yo, ahora mismo, compilándolo, a través de esta web:
BuildADebianKernelPackage - Debian Wiki
Lo que hice primero es, ponerlo en blanco (sin el .config), pero con el primer comando de make. Luego, le metí el .config original de Debian (ya lo hay en sus repositorios. Por ejemplo, bajé éste: (link roto) ), pero con solo un retoque:
En la línea:
CONFIG_BUILD_SALT
Lo tenía como "4.19.0-1-amd64". Lo he cambiado como: "4.19.10-1".
Ya hecho:
make -j`nproc` bindeb-pkg
Y corriendo...
Está trabajando. En este portátil, que ya lleva 10 años y casi medio, va camino a estropearse definitivamente. Me dio esta mañana del lunes, una señal en el icono de carga de batería, parpadeando y estando apagado, que ya hay una cuenta atrás,...para hacer un 'KAPUT'.
De momento, toco madera, no falla ni el HDD (el disco me ha salido muy bueno y sano). Está haciendo su trabajo. A las 4 de la mañana ya tendré los 3 paquetes .deb hechos.
Os contaré el cómo ha ido.
Mañana, si no falto, pongo el .config en mi blog.