Building armbian kernel for different distro

[User_green]

Hello, dear armbian community. 
I am using Orange Pi 5 plus, and I want to use kernel-6.16-5-edge-rockchip64 by armbian, as works much better than actual mainline (I have broken HDMI sound, buggy OpenGL, no power profiles)
I, however, want to build kernel for different distro (OpenSUSE Tumbleweed, aka binpkg-rpm).
Where do I get kernel sources to do this?

(And is it the right place to ask this question?)

[Werner]

moved since neither a review nor a tutorial.

 

I made a writeup just a few days ago how to get an idea about how Armbian puts its kernel and uboot sources together with an example for a different board: