Debian Wheezy amd64 con kernel 3.2 y vmware workstation 8.0.2