[PATCH] drm: Skip too big EDID extensions