Glad it's not a problem anymore. If it returns again, reopen this bug
and we'll see what we can do. Thanks.
** Changed in: linux-source-2.6.12 (Ubuntu)
Assignee: Andrew Ash => (unassigned)
Status: Needs Info => Rejected
--
Unable to handle kernel NULL pointer dereference
https://launchpad.net/bugs/37032