Build: Default the WinDDK 7.1 to <RepoRoot>\..\WinDDK\7600.16385.1\