Add dispc_mgr_get_vsync_irq() which returns the irq number for vsync on
the given channel.
Signed-off-by: NTomi Valkeinen <tomi.valkeinen@ti.com>