On Wed, Sep 09, 2020 at 08:34:16PM +0200, Seb wrote: > > > > Package: src:linux > > > Version: 4.19.67-2+deb10u2 > > [...] > > This version is 10 months old; please upgrade and try again as the bug > > may have been fixed already. > > OK, I will, but I do not know how to properly upgrade the kernel on a > Debain-stable system (which is up-to-date with respect to "apt upgrade"). > Could you enlighten me and say which kernel version I should try?
How about: apt-get dist-upgrade What is its output? of course reboot after upgrade. best, -- maks