Das ist beim Kernel nicht anders, nur wurde offensichtlich dieser Bug mit einer so geringen Priorität eingestuft, dass kaum eine Distribution den Kernel gepatcht hat, und Advisories zu dem problem habe ich von keinem Distributor bekommen - da war das von Debian das schnellste, das kam vorgestern.

Grüße,

Gunter