Comment # 11 on bug 1175308 from S. B.

Thanks a lot to everyone for helping confirm this bug!
I was going to make a simultaneous bug report on bugzilla.kernel.org when I
created this one, but it says "for posting bugs against the upstream Linux
kernels (not distribution kernels)". So I'm not sure how the process should
work from here?