Fun fact: The machine might even have more RAM. I also had an laptop with a Core 2 Duo. The mainboard supported up to 4GB of RAM. However, the BIOS only supported 3GB (for whatever reason). Around 200MB are used for the iGPU. That left me with 2.8GB of RAM out of 4GB.