The text 50c4f2ace8e7, as Debian 13 (Trixie) shipped it.
Kinds of CPU cores
hwloc_cpukinds_get_by_cpuset(3) on Linux now
