NOVA: Request for discussion - VMM on Genode

This is intended as a **request for discussion and review** to see if anything needs to be changed or fixed before these changes can be integrated. Markus will follow up with a description of how this branch can be used.