Fix vmware-modules for kernel 3.17