[Genode] who writes data into Thread_base::Context::stack?