I am currently on latest kernel and tried setting
boot.kernelPackages = pkgs.linuxPackages_4_19;
However setting this kernel, on reboot the system does not start my desktop anylonger (Plasma KDE) but stays in a plain terminal. Does someone know what to do to just change the kernel, but keep everything else like before?