Symbol: VGIC_V5_MAX_CPUS