Как показали эксперименты, 4Gb оперативной памяти оказалось маловато, поэтому я решил купить две планки DDR2 2Gb PC2-6400 800MHz DIMM Samsung, Original в дополнение к уже имеющимся двум планкам по 1GB. Выставил тайминги 5-5-5-15, T2, при частоте 800MHz — всё стабильно работает в дуальном режиме (Dual Channel).

Интересно, что как показывает Resource Monitor, при запущенном SQL Server, VMWare и т д, у меня почти всё 6GB заняты: