[arch-general] VMware 10.0.2, kernel 3.14.2: recompiling vmware modules modules

Hi all, As reported by the forum thread https://bbs.archlinux.org/viewtopic.php?pid=1410987 I encounter the same problem. Unfortunately, the topic has been closed because of trolling, but would you know a quick workaround (staying with this kernel)? I need VMware workstation for work too :-)