Genode RPC: Handling vector parameters