HDMI_IRQ_CORE was not defined in the hdmi.h.
Signed-off-by: NTomi Valkeinen <tomi.valkeinen@ti.com>