Re: [PATCH v2 09/14] drm/edid: Use the cached EDID in drm_get_edid() if eDP