[PATCH 5/8] omapdrm: hdmi4: prepare irq handling for HDMI CEC support