[PATCH 4.0-rc2 v18 1/6] irqchip: gic: Optimize locking in gic_raise_softirq