Implement __builtin_thread_pointer