[patch] vmwgfx: memory leaks caused by double allocation