Patches needed to build VMware (Player and Workstation) host modules against recent kernels - View it on GitHub