- We now tell WinDBG to load kernel symbols and WinDBG replies (!) with DbgKdGetVersi...