Use the thread_section_name helper class in fbsd_core_thread_name.