I would run at 1600Mhz until BIOS matures a little then...