BIOSでは4GB見えているメモリがWindows上では3GBほどになる原因と対処……

原因はさまざまなようですが、うちの場合はオンボードのビデオチップがVRAMとして使用することが原因のようでした。
BIOSの設定で、Video ConfigurationのIGD DVMT Memoryとかいう値とIGD Aperture Sizeとかいう値を小さくすると、Windowsの認識するメモリが増えました。