bringup on RK3399

[Michael Grunditz]

< big cut>

The problem is hopefully solved

The problem was the _arch_init code that does gic code. I was
unfortunate enough to do late night hacking , and in vane and
desperation put in a crash into gicv3.cc :/

Anyway , big thanks for all help , and the pointer to _arch_init. Also
the fact that I now know how to get a dump from genode..

Will be very useful later on!

Michael