Я почти также сделал. В студии прописал кое какие параметры, и сделал батник, который запускает конфиг WDK а сделом студию. И нормально пашет всё.