[Bug 852009] GNOME 3.10 occasional freeze, requiring hard reset