Is there any profiler on Genode like lmbench on Linux?