Upgrading fixed this error. Please apologize for my not checking before. You may close the bug.
Thanks for working hard for providing such a good Linux kernel for Debian! Best regards Niklaus Giger -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
