No patch is needed. Works great "out of the box" for me.
It is possible however that you may not be able to insert ther licnese key from the GUI.
In that case go to /usr/lib/vmware/licenses/site and edit the file "license-ws-90-e1-201202" with the text editor you like (e.g. sudo nano license-ws-90-e1-201202) and insert the line:
Serial=XXXXX-XXXXX-XXXXX-XXXXX-XXXXX after the line License Type. save the file and you are licensed forever.