Re: [PATCH] drm: Reject page_flip for !DRIVER_MODESET