[PATCH v2 12/14] drm/vc4: Convert to Linux IRQ interfaces