Re: [PATCH] drm/tidss: Use the new api devm_drm_irq_install