cpu id for big cpu 0x400

[Stefan Kalkowski]

Hello Michael,

On Thu, Jan 19, 2023 at 01:33:57PM +0100, Michael Grunditz wrote:
> I did some more printing and the cpuid is 0x4 when passed into the 
> el2->el1 switch.
> 
> Maybe I should change number of cpus to 8, but not starting the others.
> 

This is what I would expect, and should be correct.

Regards
Stefan

-- 
Stefan Kalkowski
Genode labs

https://github.com/skalk | https://genode.org