Содержится в моей (установленной) копии этой точной сборки WDK (C:\WINDDK\7600.16385.1\Debuggers\windbg.exe
). Так что понятия не имею, почему это не будет в вашем.
Кроме того, насколько мне известно, WinDbg был перемещен в WDK (и SDK), причем более новые версии не были доступны через другие каналы, а не из них.