[PATCH 04/28] vmwgfx: Update device headers for command buffers.