irqchip/gic/realview: Support more RealView DCC variants