[PATCH] drm/bochs: deinit bugfix