irqchip/gic: Prepare for adding platform driver