They're probably using a 32-bit OS. You need a 64-bit OS to even fully address 4GB of RAM. I've seen more than one noob who used a 32-bit OS on their new i7 build with 6GB of RAM post a "OMG my RAM must be faulty, I'm only seeing 3GB!! HELP!!!" thread.