kernel bug or vmware bug?