The really big issue here is how the scheduler works, which you can patch without forking the kernel. So there really is no need to have a completely separate desktop kernel: just pick up where CK left off.