[PATCH 4.2-rc1 v21 1/6] irqchip: gic: Optimize locking in gic_raise_softirq