Use qemu_irqs between CPUs and interrupt controller