The text f04ab09fa5a7, as Debian 13 (Trixie) shipped it.
Linux-specific helpers
hwloc_linux_set_tid_cpubind(3) on Linux now
