Re: [PATCH 1/5] hw: arm_gic: Fix gic_set_irq handling