Re: kernel bug or vmware bug?