Processing commands for control@bugs.debian.org: > tags 931330 + upstream Bug #931330 [src:linux] BUG: unable to handle kernel NULL pointer dereference at 0000000000000337 Added tag(s) upstream. > thanks Stopping processing here. Please contact me if you need assistance. -- 931330: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=931330 Debian Bug Tracking System Contact owner@bugs.debian.org with problems