Over the years, I've seen Microsoft Research work on several interesting OS projects - see http://research.microsoft.com/os/ for an example.  Realistically, I would expect any compelling innovations they produce to be integrated into the existing Windows product, for backwards-compatibility reasons; but if for some reason we really needed to start over with a completely new kernel, I'm guessing that the roots of that new kernel would rest on the work our research folks are doing.