RE: Using the real Windows kernel