Bug#631754: please check with upstream kernel

[Timo Juhani Lindfors <timo.lindfors@iki.fi>]

Hi,

Robert Millan <rmh@debian.org> writes:
> Please could you check if upstream kernel is also affected?

I belive so based on the feedback I got from freebsd users when I asked
about the issue.

> http://incoming.debian.org/kfreebsd-downloader_9.0~rc2-1_all.deb

Thanks for the tip. Unfortunately I'm currently too busy to test this on
real hardware where the bug occurs...

> If this is an upstream bug, filing a FreeBSD PR would be the best
> option IMHO.

Indeed, should have done that earlier.

-Timo