just a note to tell you that I installed the Kali 5.2.9 kernel into Debian 10with 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*