[PATCHv2 8/9] omapdrm: hdmi4: hook up the HDMI CEC support