I'm guessing that Devuan might [not] be able to use the Debian kernel?
not sure if the kernel has an option to NOT use systemd though... (as I recall the init system main program's path and file name have to be compiled into the kernel, not sure what this implies in 2022 except that maybe this kernel will not work with Devuan)
it has been a while since I had to compile a Linux kernel. I used to do it a lot for embedded stuff. It's probably an option in 'make config' though I nearly always used 'make oldconfig' so setting it up was a REALLY long time ago... (and not done very often)