Kernel slimdown

Remove a few unneeded kernel configuration options, and enable the vmware drivers.