Где-нибудь есть внятное описание того, зачем последние WDK устанавливаются не в одно, а два дерева на ФС — в целевой каталог, явно указанный при установке, и в Windows Kits внутри Program Files?
В обоих деревьях прослеживается похожая структура, но непонятен принцип разделения.