Hi Timo, Please could you check if upstream kernel is also affected? I've uploaded kfreebsd-downloader package to make this kind of tests easier: http://incoming.debian.org/kfreebsd-downloader_9.0~rc2-1_all.deb If this is an upstream bug, filing a FreeBSD PR would be the best option IMHO. -- Robert Millan