Okay, so I pulled in a favor and got the lab manager to let me pull the box. I checked in the BIOS configuration, and it is definitely seeing 4GB. The map it's giving the kernel, however, is missing some RAM.
Linux version 2.6.18-164.el5PAE (mockbuild@builder16.centos.org) (gcc version 4.1.2 20080704 (Red Hat 4.1.2-46)) #1 SMP Thu Sep 3 04:10:44 EDT 2009
BIOS-provided physical RAM map:
BIOS-e820: 0000000000010000 - 00000000000a0000 (usable)
BIOS-e820: 00000000000f0000 - 0000000000100000 (reserved)
BIOS-e820: 0000000000100000 - 00000000bfd86c00 (usable)
BIOS-e820: 00000000bfd86c00 - 00000000bfd88c00 (ACPI NVS)
BIOS-e820: 00000000bfd88c00 - 00000000bfd8ac00 (ACPI data)
BIOS-e820: 00000000bfd8ac00 - 00000000c0000000 (reserved)
BIOS-e820: 00000000e0000000 - 00000000f0000000 (reserved)
BIOS-e820: 00000000fec00000 - 00000000fed00400 (reserved)
BIOS-e820: 00000000fed20000 - 00000000feda0000 (reserved)
BIOS-e820: 00000000fee00000 - 00000000fef00000 (reserved)
BIOS-e820: 00000000ffb00000 - 0000000100000000 (reserved)
2173MB HIGHMEM available.
896MB LOWMEM available.
...
Memory: 3109260k/3143192k available (2151k kernel code, 32636k reserved, 886k data, 232k init, 2225688k highmem)
c to e-million isn't even mapped...that's half a gig right there!