Perhaps some of your RAM is being reserved for hardware addressing? Have you installed any new hardware or updated drivers recently?
You have enough RAM that I wouldn't worry about it such a small difference.
Principal & Designer at Keen Live
Motion Graphics, Widescreen Events, Presentation Design, and Consulting RenderBreak Blog - What I'm thinking when my workstation's thinking
Creative Cow Forum Host: Live & Stage Events