Allow building VMware kernel modules in recent Linux kernels