PHP7: which Windows Kit?

With the release of VS 2015 (VC14) a new Windows kit was introduced:
Windows Kit 10 with version number 10.0.10240.0. There are now at least
5 possibities to include things like WinSock2.h:

C:\Program Files (x86)\Windows Kits\10\Include\10.0.10240.0\um\ 
C:\Program Files (x86)\Windows Kits\8.1\include\um\
C:\Program Files (x86)\Windows Kits\8.0\Include\um\
C:\Program Files (x86)\Microsoft SDKs\Windows\v7.1A\Include\
C:\Program Files (x86)\Microsoft SDKs\Windows\v7.0A\Include\

The standard in a fresh VS 2015 Professional install is to use Windows
Kit 10. As I haven't seen new binaries on
http://windows.php.net/downloads/php-sdk/deps/vc14/x64/ since the
release of 10.0.10240.0 I am wondering what is the standard Windows Kit
for the PHP devs nowadays.

Are there plans to switch to Windows Kit 10 (10.0.10240)?

See also the discussion at
https://www.apachelounge.com/viewtopic.php?t=6664
-- 
Jan