How do we "have Windows in the Linux kernel"?