Unfortunately, I am too dumb to package and build a kernel for Debian :-(

​​​​