And what constraints are there on your choice of gcc version? - it would be easier if 3.4 was OK.
3.2/3.3 are known to work. 3.4 fails for yet unknown reason, I guess either due to inline assembler changes or more agressive dead code elimination.
Thiemo
For what it's worth, I'm running 64-bit kernels on my O2 and Indy that were compiled with gcc 3.4.3, and I have had no problems.
Steve