Thanks. I believe you are right. There used to be occasional kernel oopses but I have not seen any kernel oops recently.
Is there anything else you would like me to look for that might help narrow down this bug? Axel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
