vmware neuer Kernel?