Processing commands for control@bugs.debian.org: > close 933267 Bug #933267 [src:linux] linux-image-amd64: CONFIG_TRACE_IRQFLAGS missing from config kernel file. Marked Bug as done > thanks Stopping processing here. Please contact me if you need assistance. -- 933267: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=933267 Debian Bug Tracking System Contact owner@bugs.debian.org with problems