Symbol: VGIC_V2_MAX_CPUS