Re: l4lx_memory_map_virtual_page messages ending in internal error