[arch-general] Archlinux, kernel 4.x , VMware Workstation 11

Hi all, I'm heavily using VMware workstation 11 and https://wiki.archlinux.org/index.php/VMware states about https://wiki.archlinux.org/index.php/VMware#3.19_kernels_and_up kernel 3.19 and up. When upgrading my system, I'm prompted to upgrade to 4.x kernels Is the provided patch (http://pastie.org/pastes/9934018/download) working for 4.x kernels ? Thank you. Note: I did not use https://aur.archlinux.org/packages/vmware-patch/