Install  WinDDK 7.1 from public ISO