Compilando un kernel

Definitivamente, estoy perdiendo el toque. Me hago mayor.

Tengo un sistema Debian con dos procesadores duales, que, de los 4 nucleos, sólo me está reconociendo dos. Parece que es un problema del SMP del kernel, por lo cual me planteo compilar uno nuevo, donde estén incluídas las opciones que necesito, y, de paso, quitar alguna otra, como el soporte de audio, que no me hace falta para nada.

A pesar de todas las veces que, hace ya un tiempo, me ha tocado hacerlo, no recuerdo cómo se compilaba el kernel. Triste, verdad? Pues no es lo peor.

Al fin y al cabo, en Google está todo. STFW, que tiempos aquellos. Con un navegador delante de mis ojos, no debería tener demasiado problema en conseguir indicaciones. Pues bien: no lo consigo. No he conseguido ni de dónde descargar las fuentes del kernel que necesito...

Me hago mayor :(

_