drm/msm/hdmi: rework HDMI IRQ handler