Is the problem reproducible? It doesn't sound like a kernel problem, per se. In anyway, if you can see the problem again, please upload the dmesg output.