Processing control commands: > found -1 3.2.51-1 Bug #719843 [src:linux] linux-image-3.2.0-4-amd64: kernel bug in patch_generic_hdmi [snd_hda_codec_hdmi] on HP EliteBook 8770w Marked as found in versions linux/3.2.51-1. -- 719843: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=719843 Debian Bug Tracking System Contact owner@bugs.debian.org with problems