Excellent question. I tried enabling a DOCP profile, but that just caused the computer to not POST. SO I did the "trick" with BIOS battery (yeah you can see this is my first PC), went back, disabled it and just tried progressing with frequencies manually. Eventually settled on 3200, which was stable.