Just start vmware-6.5 after a kernel update. The start script will miss the matching kernel modules and will try to compile them. No need for a full reinstall or for running a script manually.
