[PATCH 3.19-rc2 v15 1/8] irqchip: gic: Optimize locking in gic_raise_softirq