"Gabriel" == Gabriel Paubert <paubert@iram.es> writes:
Gabriel> Not surprising, since *power4* means that it is a 64 bit
Gabriel> kernel, i.e., for G5 aka PPC970.
The Debian power4 kernels in sarge still run in 32 bit mode AFAIK.
Cheers!
Shyamal