vmware und Kernelupgrade