Re: [PATCH] drm/vboxvideo: fix a NULL vs IS_ERR() check