[CentOS] Xen3.3 rpm for 32Bit?

  Hi folks,

I would like to test Xen3.3 on CentOS 5.5 on an older machine which is 
not 64bit capable.

Since this is just a "first impression" test I do not want to fuzz with 
compiling the kernels and tools myself (that comes in a later step).

Can someone please point me to a repo with 32bit Xen3.3 kernels for 
CentOS 5? GITCO supplies 64bit kernels only, and googling brought up 
nothing else.

Thanks for any hint or help.

Dirk