[Users] 64 bit kernel

[ventas at dedicados.com.mx]

hi, i have this machine

[root at 24675 ·]# uname -a
Linux 24675.server.local 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
x86_64 x86_64 x86_64

wich kernel i should use?? 

i do

[root at 24675 .]# yum install ovzkernel-PAE
...
Installing:
 ovzkernel-PAE i686 2.6.18-194.3.1.el5.028stab069.5   openvz-kernel-rhel5 
20 M
...

http://wiki.openvz.org/Quick_installation says if my system is 64bit can
do

 yum install ovzkernel-PAE.x86_64

but No package ovzkernel-PAE.x86_64 available.