[PATCH] irqchip: gic-v3: Only define gic_peek_irq() when building SMP