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

Products Support HiKey 960
#1

Is there any how-to build and deploy the kernel to a board running Debian build?
Should I try BuildADebianKernelPackage - Debian Wiki or Chapter 4. Common kernel-related tasks ?
Or there maybe some way to re-use fai build system?