[Bug 1011250] unable to handle kernel NULL pointer dereference