Re: [PATCH] drm/bochs: deinit bugfix