Re: [PATCH v3 2/2] drm: remove drm_device_is_unplugged and related code