1087a1088,1090
> # Limiting to 128 since it will otherwise overlap with PCI space
> gic.cpu_max = 128
>