just a note to tell you that I installed the Kali 5.2.9 kernel into Debian 10
with dpkg -i -a AND it worked !!
there were two pkgs for it. load averages are now very low.
I tried with the source but it failed !! don't know why ??
Oh.. this was in a VMware 15.0 virtual machine.
anyway happyness ;D
thanks for ALL that you do
*DHF*