TLS and single/posix thread model in gcc for genode