Q: how to build and deploy the kernel into debian build?

Is there any how-to build and deploy the kernel to a board running Debian build?
Should I try https://wiki.debian.org/BuildADebianKernelPackage or https://kernel-team.pages.debian.net/kernel-handbook/ch-common-tasks.html#s-common-official-vcs ?
Or there maybe some way to re-use fai build system?