Thanks to fast work by dariusd at the VMware forum, there is already a fix for the vmnet compile failure with Kernel 4.13-rc1..
The patch can be found on this thread: https://communities.vmware.com/message/2688967
I have tested it, and vmnet now compiles OK, and VMware 12.5.7 loads/runs on Kernel 4.13-rc1..
Robert Gadsdon. July 15, 2017.