[PATCHv2 4/9] omapdrm: hdmi4: prepare irq handling for HDMI CEC support