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