Re: [PATCH 2/2] irqchip/gic: Identify and report any reserved SGI IDs