Use dispc_mgr_get_vsync_irq() to get the interrupt numbers for vsync,
instead of hardcoding the values depending on the display type.
Signed-off-by: NTomi Valkeinen <tomi.valkeinen@ti.com>