Kernel 4.13 has been released, and is OK with the latest NVIDIA drivers (tested with 384.69) and VMware 12.5.7 (with the vmnet patch – see http://rglinuxtech.com/?p=2012 )

Brief details of changes since -rc7 are here:  http://lkml.iu.edu/hypermail/linux/kernel/1709.0/01021.html

The VMware workarounds for Fedora 26 / GCC7  etc. are needed, as there is still no update from them..

Robert Gadsdon.  September 3, 2017