irqchip/gic-v4.1: Add initial SGI configuration