Instacao do Etch não permite selec ionar kernel

[jc.fi]

Instalando Debian Etch
Hardware: Duron 1.3 gHz, memória 512 mBytes, hd 40 gBytes

Na instalação usando o disco 1, não permite escolher o kernel para o Duron k7;
existe algum modo de fazer isto ?

Obrigado
João Conegundes Filho