working kernel (3.10 rc1) config for vmware fusion 3.0.1