[Lugbz-list] Frage zu Debian Kernel upgrade