https://github.com/bkw777/mainline You can use the tool called mainline to install most kernels, newer and older are available… That said, why are you trying to install an older kernel? 参考 https://