2013.09.16 1328054/new kernel

These set of changes produces a working vmxnet and vmhgfs driver on 3.15 if you build it via source (not through dkms).

I haven't tested dkms yet, but this did let me mount a share just fine.