装着してあるメモリよりも使用可能なメモリが少ない？？？　BIOSのアップデートで解消しました。