Re: [PATCH] DRM: ignore invalid EDID extensions