So where are kernel issues reported? I will try to find out.Linux kernel mailing list is probably the best place. I could also write a summary mail about this and Cc it to you all who have had the problem.
Please cc me on it, I'd rather not have to subscribe to the lkml again.
