Re: [PATCH] gic : check if there are pending interrupts