I would add "what does the system say it has for RAM at post"
"Is the RAM maybe shared with anything else like the onboard video or nics"
"What happens when you pull out one of the sticks of RAM, does it change how much RAM is shown"
If possible kick out a copy of your hardware using "lshw" from the command line.