Well, after upgrading Fedora 25 which included kernel 4.9.5, VMWare Workstation stopped working again! The fix is easy, even though it annoying to constantly have to patch something in VMWare. Anyway, the procedure - taken from here - is: Switch to root account. Go to /usr/lib/vmware/modules/source. Make backup of files vmmon.tar and vmnet.tar. Unpack those files using 'tar xf' command. Patch
