Update: The patches have been merged to drm-tip: https://cgit.freedesktop.org/drm-tip/commit/?id=1a74fc0b3f49a0603f230b6f087da33bda3d7c66.
Update: The patches have been merged to drm-tip: https:/ /cgit.freedeskt op.org/ drm-tip/ commit/ ?id=1a74fc0b3f4 9a0603f230b6f08 7da33bda3d7c66.