Memoria Ibm 3550 y Kernel x86_64

[Marcelo Riquelme]

Estimados,

     Instalé Centos 5.2 en un servidor IBM 3550, el x86_64. Estoy usando 
el kernel 2.6.18-92.1.10.el5.centos.plus, no el de Xen, por que deseo 
instarle VMware.
     El servidor tiene 10 GB de Ram, pero linux solo detecta  
6103060k/7340032k. También agregué la linea en grub ( mem=9216M), pero 
no pasa nada, de lo que he encontrado en la red, parece que mi 
alternativa es pasarme a 32bit con el kernel con PAE. Lo que significa 
reinstalar todo.
   ¿Alguna sugerencia?

Gracias
Marcelo