Re: [PATCH 09/12] drm/edid: Move HDMI_IDENTIFIER to hdmi.h