Thiago,

Done:
- Ran ‘apt update && apt full-upgrade’
- rebooted
- read [0] to figure out what Debian's weirdo unames mean.

Thanks!

T G-R

[0]: 
https://unix.stackexchange.com/questions/509247/debian-linux-kernel-versioning