[PATCH 3.18-rc4 v10 2/6] irqchip: gic: Optimize locking in gic_raise_softirq