[PATCH] gic : check if there are pending interrupts