vmware und Kernel-Headers