Default WinDDK is now 7.1