Unidentified subject!

[Petrov M.I.]

Hi all.
Текущая стабильная версия debian'a (2.2r3) включает
ядро версии 2.2.19pre17. Дистрибутив содержит 
kernel-source для 2.2.19pre17, kernel-headers для
2.2.19pre17 нету, есть только лля compact и idepci
версий. Где можно найти kernel-headers-2.2.19pre17 ?
И существует ли пакет вообще? Проблема - хотел 
собрать vmware ...
С уважением, Николай.