Random CTDs on high end Intel chips? Check your bios settings