RK3588 part 2

Hi!

I finally managed to setup my RK3588 board again. I also have built my own u-boot. The error I was experiencing before was because of wrong address of binary. bootm uImage still doesn't work , fails in some dt_header thing in u-boot. If I can get things moving I will try to isolate that problem.

Now to current status: Complete hang in switch to hypervisor. That eret never returns... unless Genode::raw stops working after it. Another thing in cortex_a53_cpu.cc that doesn't work is: Cpu::current_core_id(). I get a compile time error about not being in Board::Cpu. I think those two errors are connected.

Perhaps someone can tell me about the last error (core-id), and what might cause it?

Thanks, Michael