Re: [PATCH 8/8] omapdrm: hdmi4: hook up the HDMI CEC support