See also https://github.com/bkw777/mainline which offers a UI to install the mainline kernels from mainline kernels PPA.