Host: 3.10.5-201.fc19.x86_64
Guest: any (tried windows, other distros)
vmware Workstation 9.0.2, patched with this and that.
I stumbled upon a somewhat relevant KB article but don't know how to go about finding maximum CPU speed, assuming the workaround is even applicable here.
Any help is much appreciated.