[PATCH] drm/vmwgfx: fix "duplicate frame pointer save" warning