Comment 6 for bug 1779640

Missed the reply on this thread, my apologies.
I tried now to install the packages from those ppa's, however apt will not detect the kernels.

I've added the ppa repo and did an #apt update, but apt will then not detect neither of the kernels, so I mus t be doing something wrong.
On another note, the linux-tools packages seem to require a different libbinutils version, which I don't see in the mentioned repos to have been built.