irqchip/gic-v4: Add VLPI configuration interface