There is no reason to use the debian kernel.
Many people run debian ( or any other distro ) with a custom compiled kernel and it's still debian.