Re: [PATCH] drm/edid: improve non-desktop quirk logging