Debian Sarge on AlphaServer DS25

["Valerio Daelli" <vdaelli@hotmail.com>]

Hello everybody
we tried to install Debian Sarge on an AlphaServer DS25.
The installation stopped at the aboot prompt, saying it couldn't unzip the 
kernel.
We managed to install RedHat 7.2, but we prefer Debian, so basically we want
to compile a good kernel from Red Hat and placing it in the Debian boot 
CDROM.
Is there any reference on how to burn a bootable Debian CDROM, modified 
including
a new kernel, on Alpha?
Thanks a lot

Valerio Daelli