[PATCH 4.0-rc1 v17 1/6] irqchip: gic: Optimize locking in gic_raise_softirq