Patch to have VMware Workstation 7 on kernel 3.2.x