Re: frequent kernel oops -- how do I report it?