On Mon, Sep 8, 2008 at 8:52 AM, Jeff Shaw <shawjef3@msu.edu> wrote: > I'm compiling a fresh kernel, just to see if that happens to fix it, but > otherwise I'm not sure what to do. Where would I report this bug, > www.kernel.org? Hi Jeff, For the procedures on reporting Linux kernel bugs in Debian, see: http://wiki.debian.org/DebianKernelReportingBugs Cheers, Elijah