Re: omap4: how to get the HDMI core IRQ?