drivers/gpu/drm/vmwgfx: Fix k.alloc switched arguments