It seems I pasted the wrong link. Let's try this again.
https://communities.vmware.com/thread/326180?start=0
That is actually for Workstation but I used it successfully with Player just a couple of months ago. I don't believe I've updated to a new version of Player since then, but I do think I've upgraded my kernel since from 3.9-1 to 3.10-2. However, since the patch only appears to be changing files in /usr/lib/vmware/modules/source/, I don't see how the kernel version could affect the patch command, only compilation. If there is a newer patch, I'm not having luck finding it.