Consegui consertá-lo, reinstalando as ferramentas de depuração para o Windows. Para fazer isso, eu primeiro o desinstalei e baixei o ISO do SDK do Windows 7 x64 deste link ( link . O nome do arquivo é GRMSDKX_EN_DVD.iso. Certifique-se de verificar a soma de verificação SHA1 da imagem ISO baixada - no meu caso, meu primeiro download estava incompleto e a instalação não correu bem. Eu escolhi instalar apenas as ferramentas WinDBG pela segunda vez e agora posso depurar o kernel localmente. Depois que baixei a versão mais recente da suíte SysInternals, também sou capaz de executar o LiveKD sem problemas.