Different irqk for HDMI and other kernels