Hello,
I would like to share with you how I updated to linux 5.*.
There are two options:
1) Debian Experimental:
https://unix.stackexchange.com…atest-rc-kernel-on-debian
Currently, this gives 5.0
2) Creating a Debian package yourself:
Code
edit /etc/default/grub --> GRUB_DEFAULT=0
Regards,
Hendrik