Re: [PATCH] drm/vmwgfx_kms: Fix potential NULL pointer dereference