irqchip/GIC: Add workaround for aliased GIC400