PATRIOTのDDR3-1600対応メモリ、PSD38G1600KHを購入。
4G×2で1万円かからないんだなぁ…

元々あった2G×2と合わせて4枚差しで12G。
BIOSの自動認識ではDDR3-1333になったので、手動でDDR3-1600、電圧1.65Vに設定して利用中。
しばらくこの設定で使ってみるつもり。