Add tip to install WinDDK 7