EMT 64bit OS

Hi, I have a Dell 2850 with Intel Xeon processor. My understanding from the /proc/cpuinfo is that this system supports 64bit OS. We have redhat linux running on it since 6 months and just came to know from Dell that it's not supposed to run 64bit linux. After talking to couple of Dell engineers, what I hear now is that

"you can load an EMT64 bit Operating System but you can
not load a IA64 bit os. This system is not a true 64 bit system and not
all Programs designed for 64 bit will work"

How can I figure out if the redhat versioin I have running is EMT 64bit OS or not?

This is the output of uname -a and cat /proc/cpuinfo

# uname -a
Linux rstn-lin01 2.4.21-27.EL #1 SMP Wed Dec 1 21:53:39 EST 2004 x86_64
x86_64 x86_64 GNU/Linux

# cat /proc/cpuinfo
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
physical id : 0
siblings : 2
runqueue : 0
stepping : 1
cpu MHz : 2992.590
cache size : 1024 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss tm ferr syscall
nx lm sse3 monitor ds-cpl cnxt-id
bogomips : 5976.88
clflush size : 64
address sizes : 36 bits physical, 48 bits virtual
power management:

Thanks a lot!
HA1