I've been keeping an eye on Devils Canyon discussion posts.
I think the other posters are correct. Several folks had to lower VCORE settings from what the BIOS monitor showed for stock "auto." In other words, it may run "out-of-the-box" at X monitored VCORE, but it also runs fine at X-y at stock speed. That would be your base starting-point for overclocking it.
Then there's the other thing the OP mentioned, aside from Crysis: Prime95 will pummel the AVX2 instruction set.
Of course, if Crysis shows these temperatures, just stress-testing the processor without AVX2 doesn't say a lot for what you get running the game. Hmmm . . .