If Microsoft doesn’t have a secret internal build of Windows that runs on a Linux Kernel, they’re out of their minds.
The Windows Kernel, as cool as it is, is 100% a cost center. If Microsoft switches (seemlessly) to a Linux kernel, no one would really notice. So at some point they should really switch it.