The text f85be7085a97, as Debian 11 (Bullseye) shipped it.
Kinds of CPU cores
hwloc_cpukinds_get_nr(3) on Linux now
