One other question : why is "top" or "dmesg" showing only 3GB RAM instead of 4GB if 4GB is the max the 32 bit RHEL can support? Supposedly there's 16GB physical RAM inserted in the hardware