bootm on imx8

[Michael Grunditz]

The 'Q's are output from core 1. I did a little new kernel call  and
issued CPU_ON in it.
No 32bit yet. I just dumped out a 64bit printloop to array , copied it
into the dataspace and called psci with the physical address.

This is fun!

Genode 21.02 <local changes>
1019 MiB RAM and 64533 caps assigned to init
[init -> test-log] logic addr: 0x3004
QQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQ

Michael
<>