vmwgfx: Update device headers for command buffers.