Sorry for the late reply! How do I flag his answer as the correct one? Want to do it :-)
@pivotmannz - got the same problem again. Ubuntu updates update the kernel again and I could not launch my vmworkstation.
I did your procedure again, hoping it would solve the problem as it did before - and what happened is that after I finished, I could launch vmworkstation, but I could not turn on any of my vms, I get the following error:
"Could not open /dev/vmmon: No such file or directory.
Please make sure that the kernel module `vmmon' is loaded."
Can you help me?
Thanks!