Re: [PATCH 3/5] hw: arm_gic: Keep track of SGI sources