[v1-virq] Extracts pirqvirq.c from gic.c