[PATCH 3.19-rc6 v16 1/6] irqchip: gic: Optimize locking in gic_raise_softirq