Re: [PATCH 10/14] drm/tidss: Convert to Linux IRQ interfaces