Zwentibold, Lothringen, König