Comment 4 for bug 719446

Hi Alan,
  Thanks for that. Those errors shouldn't happen - so it's pretty likely a kernel bug.
There are a few ways to get those messages;
  1) If you're lucky they'll have been recorded in /var/log/kern.log or /var/log/kern.log.1 or /var/log/debug
  2) A digital camera picture of the message is OK if possible.
  3) If you're logged into a virtual console, say the one you get with ctrl-alt-f1 if you do cat /dev/vcs1 > myfile it'll record the text contents of the screen into myfile. You can also do the same to the other console; e.g. if you're in ctrl-alt-f1 then you can cat /dev/vcs2 > myfile to get the one from ctrl-alt-f2

Dave