Re: vmware neuer Kernel?