I am also having the cold boot issue when overclocked. Currently running my 920 @ 3800 mhz with 1.35 vcore. I will post all of my bios settings here shortly for others.