Do either of you have any cpu overclocks or non default settings in your bios?
Also, best if you post in the bugs section so the devs can see the thread.