[Bug 590886] BUG: unable to handle kernel NULL pointer dereference at 00000025