If it is any help, I could try installing the debug kernel. I don't know but maybe some more useful information would be present in the logs?