Re: Genode::Registry blocking(?) on for_each call