Re: [PATCH 00/10] drm/edid: Clean up display_info stuff