bringup on RK3399

[Michael Grunditz]

>> snip
I am facing below:

Error: Assertion failed: id < _count && _cpus[id].constructed()
Error:   File: /home/micken/genode/repos/base-hw//src/core/kernel/cpu.cc:198
Error:   Function: Kernel::Cpu& Kernel::Cpu_pool::cpu(unsigned int)
The call that gets me there originates from core/kernel. I have
configured one cpu , so id is always 0. The construct function is
called prior to this, but the util method doesn't return * I THINK * .

Any thoughts?