How-to-install-Debian-kernel

(For installed system only)
How to install Debian kernel

If you would, you can also install native Debian kernel as below:

sudo apt install linux-image-amd64

Then, reboot.
From advanced options at boot menu, it is easily to switch from Linux-libre kernel to Debian kernel.