On Wed, Jul 26, 2017 at 09:14:41AM -0700, HP Garcia wrote:

What's to the procedure for compiling a custom kernel for Debian 9.X.

make-kpkg should do the trick if you need to create a kernel package: https://wiki.debian.org/BuildADebianKernelPackage -- Valentin