32位的win7旗舰版，安装了4g的内存条，使用Ready for 4gb后只有3.8g可用内存，正常么。