Same problem with a Samsung R540 laptop. Problem is inconsistent - every now and again it will restart. Does restart normally in Safe Mode.