No matches were found for subject:"Bug#742717\: linux\-image\-3.2.0\-4\-amd64\: Crashes sometimes with no obvious reason"