choice of debian kernel for etch

[Boris Demirov <bdd@xpeqt.com>]

Hi all,

I have this situation where I want to select an already recompiled 
debian kernel for the following hw:

16GB ram
Intel E5420 xeon (2x4 cores cpu)

with the requirements to support vservers, to be 32 bit and to be able 
to use all the memory installed. I am talking about debian etch.

Is there a kernel I can use without the need of recompiling?

Second question, since I think the answer to the first question is no. 
What will happen if I use a *-vserver-amd64 kernel on a 32 bit etch? Is 
this a good idea for a production environment?

Thanks for all replies in advance.