irqchip/gic-v3: Describe the SGI range