Re: [PATCH] drm: Undo damage to page_flip_ioctl