Re: [PATCH] drm/doc: device hot-unplug for userspace