[PATCH 10/11] drm/vmwgfx: Fix formatting and spaces in vmwgfx_execbuf.c