[x86] Enable VMWARE_VMCI, VSOCKETS, VMWARE_VMCI_VSOCKETS as modules (Closes: #707676)

git-svn-id: svn://svn.debian.org/svn/kernel/dists/trunk/linux@20075 510b9475-24dd-0310-9b6c-e0eefe99d49f
Merge remote-tracking branch 'blankon/master'
New Upstream Release 3.9