Just a quick note to say that vmware-workstation-8.0.5 is out, and has been for a couple of months. Improvements are at http://www.vmware.com/support/ws80/doc/releasenotes_workstation_805.html#resolvedissues
bumped. please test.
Thanks very much, all tested and it seems to work fine, it all appears to resolve an issue building the modules on kernels >= 3.7.0. 5:)