@nonetrix
From what I knew, Xbox is not based on Windows kernel, it IS Windows 10 kernel.
But be aware that Windows kernel doesn't work the same way a Linux kernel does, so don't try to think of it in those terms. Going back to Xbox, the kernel is the same, what is heavily chanced is what goes on top of that kernel.