Symbol: gicr_base_cpu