cpu id for big cpu 0x400

[Michael Grunditz]

Hi

I am testing starting from the big cpu on rk3588. The cpu id is 0x400.
Starting is fine up to core entry. But there it stops.
EL switching works.

The question is , every other core is compared to NR_OF_CPUS, which is
from 0 and up.
What do I need to change?

Michael

( will try now with core 1 , since obvisually core 0 isn't set up so
that el switching works. I still thinks we should do core init so that
we get a common state , regardless how u-boot leaves us. )