Re: [PATCH] drm/edid: Try harder to fix up broken headers