[Bug 783649] BUG: unable to handle kernel NULL pointer dereference at 0 .. 10 kernel-ec2 3.6.0-2.1