60a61,65
> panic_if(sys->numContexts() > params()->cpu_max,
> "Exceeding maximum number of PEs supported by GICv3: "
> "using %u while maximum is %u\n", sys->numContexts(),
> params()->cpu_max);
>