[4.4-rc7 / vmwgfx] debugging bug or driver bug?