kernel headers 2.2.19pre17 (potato)

["Francisco J. Blanco" <ashgard@crom.eubd.ucm.es>]

   No sé si será una tontería lo que voy a preguntar, pero me está 
comiendo la cabeza y no le encuentro solución.

   Estoy trabajo en una "Potato", con su kernel 2.2.19pre17 y ya he 
instalado el src del mismo para poder compilar modulos y demás, ahora 
llega el problema, pues también necesito las headers y sólo encuentro 
las 2.2.19pre17-idepci y las 2.2.19pre17-compact en las fuentes. He 
probado con ambos y fallan porque dicen no coincidir con el kernel en 
activo, por lo que incluso he "falseado" el version.h para que 
coincidieran y pasara el test previo, pero nada, no funcionan.

   De dónde se pueden bajar estas cabeceras?

   Gracias

   Ash