> 
>  Does this look like a kernel bug?
> 

No, it looks like a very common virtualizer bug.  Does the attached 
patch work for you?

	-hpa