Hi, and thanks for the replies!

I just talked to him earlier and I got this:

He has tried turning off overclock, still got BSOD
He's gonna let me know if it still crashes once he removes...

An online friend of mine has been getting BSODs for half a year now and I asked for the minidump files. Looking at the most recent one (it was the only file he had in his minidumps folder) in WinDBG...