Err.. I dumped the headers and indeed there is a section for the modules!

Sorry for all mails.
Right now it fails here, but not in all cases. , see links below.
Where is insert_translation defined for arm_v8?
https://github.com/genodelabs/genode/blob/master/repos/base-hw/src/bootstrap/platform.cc#L78 
called from
https://github.com/genodelabs/genode/blob/master/repos/base-hw/src/bootstrap/platform.cc#L137


If I ignore the error.. it fails in transition to el1 from el2. The eret never returns. I have cross checked 
manuals for A76 and A53, and all regs involved are the same, except that A76  extends some fields. 
It does remain compatible with the armv8 standard.

Any thoughts?

Michael