Processing commands for control@bugs.debian.org: > close 711143 Bug #711143 [src:linux] linux-image-3.9-1-powerpc64: System locks up (Unable to handle kernel paging request / Oops: Kernel access of bad area) Marked Bug as done > thanks Stopping processing here. Please contact me if you need assistance. -- 711143: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=711143 Debian Bug Tracking System Contact owner@bugs.debian.org with problems