[PATCH 6/6] drm/vmwgfx: Port vmwgfx to arm64