Processing commands for control@bugs.debian.org: > severity 717698 critical Bug #717698 [src:linux] linux-image-3.10-1-amd64: kernel does not boot Severity set to 'critical' from 'normal' > thanks Stopping processing here. Please contact me if you need assistance. -- 717698: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717698 Debian Bug Tracking System Contact owner@bugs.debian.org with problems