Re: [PATCH 13/17] drm: push locking down into restore_fbdev_mode